1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000 1.2 +++ b/src/work/johanna/Makefile Wed Mar 03 19:16:48 2004 +0000 1.3 @@ -0,0 +1,4 @@ 1.4 +BINARIES = kruskal_test 1.5 +INCLUDEDIRS= -I. -I.. -I../../include 1.6 +include ../makefile 1.7 +