src/work/jacint/makefile
changeset 748 a0e497db23ee
parent 715 665689d86225
     1.1 --- a/src/work/jacint/makefile	Thu Jul 29 17:20:51 2004 +0000
     1.2 +++ b/src/work/jacint/makefile	Thu Jul 29 17:23:55 2004 +0000
     1.3 @@ -1,3 +1,3 @@
     1.4 -BINARIES = max_flow_test
     1.5 +BINARIES = max_flow_bug
     1.6  INCLUDEDIRS= -I../../include -I../.. -I.. -I../{klao,marci,jacint,alpar,johanna,akos}
     1.7  include ../makefile