diff --git a/tools/configure b/tools/configure index e7dac757a0..1c92e83133 100755 --- a/tools/configure +++ b/tools/configure @@ -2402,8 +2402,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 03dadd77aa..183561781b 100644 --- a/tools/configure.ac +++ b/tools/configure.ac @@ -35,8 +35,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)