diff options
Diffstat (limited to 'sim/d10v/configure')
| -rwxr-xr-x | sim/d10v/configure | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/sim/d10v/configure b/sim/d10v/configure index 39f93ad..27a9010 100755 --- a/sim/d10v/configure +++ b/sim/d10v/configure @@ -12748,10 +12748,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 |