diff options
Diffstat (limited to 'aclocal')
| -rw-r--r-- | aclocal/enable-paravirt.m4 | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/aclocal/enable-paravirt.m4 b/aclocal/enable-paravirt.m4 new file mode 100644 index 0000000000..ff768f4f77 --- /dev/null +++ b/aclocal/enable-paravirt.m4 @@ -0,0 +1,17 @@ +AC_DEFUN([RTEMS_ENABLE_PARAVIRT], +[ + +AC_ARG_ENABLE(paravirt, +[AS_HELP_STRING([--enable-paravirt],[enable support for paravirtualization +(i386 only) (default=no) ])], + +[case "${enableval}" in + yes) case "${RTEMS_CPU}" in + i386) RTEMS_HAS_PARAVIRT=yes ;; + *) RTEMS_HAS_PARAVIRT=no ;; + esac + ;; + no) RTEMS_HAS_PARAVIRT=no ;; + *) AC_MSG_ERROR(bad value ${enableval} for enable-paravirt option) ;; +esac],[RTEMS_HAS_PARAVIRT=no]) +]) |