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