configure: more useful --enable-debug
commit9ce41b00cc61f52f712a9a82c30ee4a06985b732
authorygrek <ygrek@autistici.org>
Sat, 14 Aug 2010 21:01:30 +0000 (15 00:01 +0300)
committerygrek <ygrek@autistici.org>
Sat, 14 Aug 2010 21:01:30 +0000 (15 00:01 +0300)
tree2fe00471c82684e5c840d406edd3ed5e663e5984
parent4d19d854bb865467e976509313dad4aabac25568
configure: more useful --enable-debug

enable also for ocamlopt
enable when profiling
config/configure.in