diff options
Diffstat (limited to 'aclocal/enable-gmake-print.m4')
-rw-r--r-- | aclocal/enable-gmake-print.m4 | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/aclocal/enable-gmake-print.m4 b/aclocal/enable-gmake-print.m4 new file mode 100644 index 0000000000..ab3c0b7282 --- /dev/null +++ b/aclocal/enable-gmake-print.m4 @@ -0,0 +1,15 @@ +dnl $Id$ +dnl +dnl Note: This option is considered obsolete + +AC_DEFUN(RTEMS_ENABLE_GMAKE_PRINT, +[ +AC_ARG_ENABLE(gmake-print-directory, +[ --enable-gmake-print-directory enable GNU Make's print directory], +[case "${enableval}" in + yes) RTEMS_USE_OWN_PDIR=no ;; + no) RTEMS_USE_OWN_PDIR=yes ;; + *) AC_MSG_ERROR(bad value ${enableval} for gmake-print-directory option) +;; +esac],[RTEMS_USE_OWN_PDIR=yes]) +]) |