| 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