tools/Makefile.am
author Peter Kovacs <kpeter@inf.elte.hu>
Sun, 30 Nov 2008 22:06:36 +0100
changeset 396 c5f010a5647a
parent 310 a9e8f310507f
child 523 d9e43511d11c
permissions -rw-r--r--
Improve unify-sources.sh (#186)
Errors can also be accepted when the script is used as a hg hook.
Sometimes it is useful (e.g. if someone else made the errors).
     1 if WANT_TOOLS
     2 
     3 bin_PROGRAMS += \
     4 	tools/dimacs-to-lgf
     5 
     6 dist_bin_SCRIPTS += tools/lemon-0.x-to-1.x.sh
     7 
     8 endif WANT_TOOLS
     9 
    10 tools_dimacs_to_lgf_SOURCES = tools/dimacs-to-lgf.cc