diff -r bbd1db03f0fe -r e42f56e7ad93 src/work/jacint/makefile
--- a/src/work/jacint/makefile	Fri Apr 30 01:59:15 2004 +0000
+++ b/src/work/jacint/makefile	Fri Apr 30 06:46:39 2004 +0000
@@ -1,3 +1,3 @@
-BINARIES = preflow preflow_res_comp preflow_excess_test
+BINARIES = edmonds #preflow preflow_res_comp preflow_excess_test
 INCLUDEDIRS= -I../../include -I.. -I../{klao,marci,jacint,alpar,johanna,akos}
-include ../makefile
+include ../makefile