diff options
Diffstat (limited to 'sim/common/configure')
-rwxr-xr-x | sim/common/configure | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/sim/common/configure b/sim/common/configure index 631ebac..96edf37 100755 --- a/sim/common/configure +++ b/sim/common/configure @@ -11002,10 +11002,10 @@ fi # Check whether --enable-sim-trace was given. if test "${enable_sim_trace+set}" = set; then : enableval=$enable_sim_trace; case "${enableval}" in - yes) sim_trace="-DTRACE=1 -DWITH_TRACE=-1";; - no) sim_trace="-DTRACE=0 -DWITH_TRACE=0";; + yes) sim_trace="-DWITH_TRACE=-1";; + no) sim_trace="-DWITH_TRACE=0";; [-0-9]*) - sim_trace="-DTRACE='(${enableval})' -DWITH_TRACE='(${enableval})'";; + sim_trace="-DWITH_TRACE='(${enableval})'";; [[:lower:]]*) sim_trace="" for x in `echo "$enableval" | sed -e "s/,/ /g"`; do |