src/work/jacint/makefile
changeset 715 665689d86225
parent 535 bd79aa43f299
child 748 a0e497db23ee
     1.1 --- a/src/work/jacint/makefile	Tue Jul 20 14:29:16 2004 +0000
     1.2 +++ b/src/work/jacint/makefile	Tue Jul 20 14:31:24 2004 +0000
     1.3 @@ -1,3 +1,3 @@
     1.4 -BINARIES = max_matching
     1.5 -INCLUDEDIRS= -I../../include -I.. -I../{klao,marci,jacint,alpar,johanna,akos}
     1.6 +BINARIES = max_flow_test
     1.7 +INCLUDEDIRS= -I../../include -I../.. -I.. -I../{klao,marci,jacint,alpar,johanna,akos}
     1.8  include ../makefile