tools/Makefile.am
author Balazs Dezso <deba@inf.elte.hu>
Thu, 19 Jun 2008 10:59:22 +0200
changeset 177 b685e12e08c0
parent 1 51eaad3a817b
child 314 a9e8f310507f
permissions -rw-r--r--
Seeding from file source or from pid and time (ticket #19)
ladanyi@1
     1
if WANT_TOOLS
ladanyi@1
     2
ladanyi@1
     3
bin_PROGRAMS +=
ladanyi@1
     4
ladanyi@1
     5
endif WANT_TOOLS