(none)
authorjacint
Wed, 05 May 2004 17:24:06 +0000
changeset 535bd79aa43f299
parent 534 22ce98f7d0f1
child 536 c050de070935
(none)
src/work/jacint/makefile
     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