src/work/jacint/makefile
changeset 166 abcbdcf36ab2
parent 159 0defa5aa1229
child 170 9091b1ebca27
     1.1 --- a/src/work/jacint/makefile	Wed Mar 10 17:49:55 2004 +0000
     1.2 +++ b/src/work/jacint/makefile	Thu Mar 11 11:03:22 2004 +0000
     1.3 @@ -3,7 +3,7 @@
     1.4  CXXFLAGS = -W -Wall -ansi -pedantic
     1.5  LEDAROOT = /ledasrc/LEDA-4.1
     1.6  
     1.7 -BINARIES = preflow dijkstra
     1.8 +BINARIES = dijkstra
     1.9  
    1.10  all: $(BINARIES)
    1.11