diff options
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -3447,7 +3447,7 @@ fi if test "${build}" != "${host}" ; then : if test -n "$ac_tool_prefix"; then - for ac_prog in isa-run run + for ac_prog in spike do # Extract the first word of "$ac_tool_prefix$ac_prog", so it can be a program name with args. set dummy $ac_tool_prefix$ac_prog; ac_word=$2 @@ -3491,7 +3491,7 @@ fi fi if test -z "$RUN"; then ac_ct_RUN=$RUN - for ac_prog in isa-run run + for ac_prog in spike do # Extract the first word of "$ac_prog", so it can be a program name with args. set dummy $ac_prog; ac_word=$2 |