Added --enable-profiling option.
authorkramm <kramm>
Thu, 11 Nov 2004 09:34:34 +0000 (09:34 +0000)
committerkramm <kramm>
Thu, 11 Nov 2004 09:34:34 +0000 (09:34 +0000)
commit95fbd8559c7022491a117be76407354db84846a5
tree62d00917dd7d74180bcbd995ab52a89c16f150b1
parent4da4084fff707d9df8bddc66fb6f641193b70a17
Added --enable-profiling option.
configure.in