1 --- makefile_old 2008-06-13 16:13:02.000000000 +0000
2 +++ makefile 2008-06-13 16:13:13.000000000 +0000
7 -GNATMAKE_FLAGS = -I.. -O2 -g -gnatqQafy -gnatwaL
8 +GNATMAKE_FLAGS = -I/usr/lib/adabooch -O2 -g -gnatqQafy -gnatwaL
11 for t in $(TESTABLE); do \