changeset 439 | 748791b4bd10 |
parent 388 | 8aca0af3f30b |
child 441 | bb61e80e8aa1 |
1.1 --- a/src/work/jacint/makefile Tue Apr 27 10:50:46 2004 +0000 1.2 +++ b/src/work/jacint/makefile Tue Apr 27 11:04:35 2004 +0000 1.3 @@ -6,7 +6,7 @@ 1.4 CXXFLAGS = -W -Wall -ansi -pedantic -O3 $(INCLUDEDIRS) 1.5 LEDAROOT ?= /ledasrc/LEDA-4.1 1.6 1.7 -BINARIES = preflow_res_comp 1.8 +BINARIES = preflow_res_comp preflow_excess_test 1.9 1.10 all: $(BINARIES) 1.11