diff options
Diffstat (limited to 'aclocal/enable-gmake-print.m4')
| -rw-r--r-- | aclocal/enable-gmake-print.m4 | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/aclocal/enable-gmake-print.m4 b/aclocal/enable-gmake-print.m4 deleted file mode 100644 index 3c2973db29..0000000000 --- a/aclocal/enable-gmake-print.m4 +++ /dev/null @@ -1,16 +0,0 @@ -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]) -AC_SUBST(RTEMS_USE_OWN_PDIR)dnl -]) |