diff --git a/tools/configure b/tools/configure index b0aea0aa2f..2fa7426cde 100755 --- a/tools/configure +++ b/tools/configure @@ -2396,8 +2396,8 @@ case $host_os in *\ *) host_os=`echo "$host_os" | sed 's/ /-/g'`;; esac case $host_vendor in -rumpxen) CONFIG_RUMP=y; rump=true ;; -*) CONFIG_RUMP=n; rump=false ;; +rumpxen|rumprun) CONFIG_RUMP=y; rump=true ;; +*) CONFIG_RUMP=n; rump=false ;; esac diff --git a/tools/configure.ac b/tools/configure.ac index 1ac63a3483..b7f1513c14 100644 --- a/tools/configure.ac +++ b/tools/configure.ac @@ -43,8 +43,8 @@ APPEND_INCLUDES and APPEND_LIB instead when possible.]) AC_CANONICAL_HOST case $host_vendor in -rumpxen) CONFIG_RUMP=y; rump=true ;; -*) CONFIG_RUMP=n; rump=false ;; +rumpxen|rumprun) CONFIG_RUMP=y; rump=true ;; +*) CONFIG_RUMP=n; rump=false ;; esac AC_SUBST(CONFIG_RUMP)