src/work/jacint/makefile
changeset 535 bd79aa43f299
parent 494 e42f56e7ad93
child 715 665689d86225
     1.1 --- a/src/work/jacint/makefile	Wed May 05 17:23:04 2004 +0000
     1.2 +++ b/src/work/jacint/makefile	Wed May 05 17:24:06 2004 +0000
     1.3 @@ -1,3 +1,3 @@
     1.4 -BINARIES = edmonds #preflow preflow_res_comp preflow_excess_test
     1.5 +BINARIES = max_matching
     1.6  INCLUDEDIRS= -I../../include -I.. -I../{klao,marci,jacint,alpar,johanna,akos}
     1.7  include ../makefile