diff options
author | Philipp Eppelt <philipp.eppelt@mailbox.tu-dresden.de> | 2013-11-27 19:00:20 +0100 |
---|---|---|
committer | Gedare Bloom <gedare@rtems.org> | 2013-11-27 15:54:04 -0500 |
commit | 6ffaeb289975544f53f97608c9ef3cc41e7e0897 (patch) | |
tree | a4915936c037ef289f41a49fe92c56d929ebd7d6 /cpukit/aclocal | |
parent | 03e54614a3ca200d67736b8f0ae73a3063edcbee (diff) |
add --enable-paravirt in cpukit configure scripts
Diffstat (limited to 'cpukit/aclocal')
-rw-r--r-- | cpukit/aclocal/enable-paravirt.m4 | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/cpukit/aclocal/enable-paravirt.m4 b/cpukit/aclocal/enable-paravirt.m4 new file mode 100644 index 0000000000..ff768f4f77 --- /dev/null +++ b/cpukit/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]) +]) |