diff options
Diffstat (limited to 'sim/mn10300')
| -rw-r--r-- | sim/mn10300/ChangeLog | 4 | ||||
| -rwxr-xr-x | sim/mn10300/configure | 15 |
2 files changed, 9 insertions, 10 deletions
diff --git a/sim/mn10300/ChangeLog b/sim/mn10300/ChangeLog index 3750b8a..d188dda 100644 --- a/sim/mn10300/ChangeLog +++ b/sim/mn10300/ChangeLog @@ -13,6 +13,10 @@ 2015-03-23 Mike Frysinger <vapier@gentoo.org> * configure: Regenerate. + +2015-03-23 Mike Frysinger <vapier@gentoo.org> + + * configure: Regenerate. * configure.ac: Delete SIM_DV_SOCKSER_O check. 2015-03-16 Mike Frysinger <vapier@gentoo.org> diff --git a/sim/mn10300/configure b/sim/mn10300/configure index c9185d1..5c0327a 100755 --- a/sim/mn10300/configure +++ b/sim/mn10300/configure @@ -13558,18 +13558,13 @@ if test "${enable_sim_hardware+set}" = set; then : fi case ${enable_sim_hardware} in - yes) sim_hw_p=yes;; - no) sim_hw_p=no;; - ,*) sim_hw_p=yes; hardware="${hardware} `echo ${enableval} | sed -e 's/,/ /'`";; - *,) sim_hw_p=yes; hardware="`echo ${enableval} | sed -e 's/,/ /'` ${hardware}";; - *) sim_hw_p=yes; hardware="`echo ${enableval} | sed -e 's/,/ /'`"'';; + yes|no) ;; + ,*) hardware="${hardware} `echo ${enableval} | sed -e 's/,/ /'`";; + *,) hardware="`echo ${enableval} | sed -e 's/,/ /'` ${hardware}";; + *) hardware="`echo ${enableval} | sed -e 's/,/ /'`"'';; esac -if test "$sim_hw_p" != yes; then - if test "yes" = "always"; then - as_fn_error "Sorry, but this simulator requires that hardware support -be enabled. Please configure without --disable-hw-support." "$LINENO" 5 - fi +if test "$enable_sim_hardware" = no; then sim_hw_objs= sim_hw_cflags="-DWITH_HW=0" sim_hw= |