src/work/jacint/makefile
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