simon 3f93cf9f3f test: makefile for test 1 anno fa
..
makefile 3f93cf9f3f test: makefile for test 1 anno fa
test1.c 3f93cf9f3f test: makefile for test 1 anno fa
test2.c 3f93cf9f3f test: makefile for test 1 anno fa