diff options
Diffstat (limited to 'sim/mips/configure')
| -rwxr-xr-x | sim/mips/configure | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/sim/mips/configure b/sim/mips/configure index 0e97b51..3b94005 100755 --- a/sim/mips/configure +++ b/sim/mips/configure @@ -3412,7 +3412,7 @@ if test x"$silent" != x"yes" && test x"$sim_profile" != x""; then echo "Setting sim profile = $sim_profile" 6>&1 fi else - sim_profile="" + sim_profile="-DPROFILE=1 -DWITH_PROFILE=-1" fi |