diff options
Diffstat (limited to '')
-rw-r--r-- | c/src/aclocal/path-ksh.m4 | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/c/src/aclocal/path-ksh.m4 b/c/src/aclocal/path-ksh.m4 deleted file mode 100644 index 2c79b31d1e..0000000000 --- a/c/src/aclocal/path-ksh.m4 +++ /dev/null @@ -1,12 +0,0 @@ -AC_DEFUN([RTEMS_PATH_KSH], -[ -dnl NOTE: prefer bash over ksh over sh -AC_PATH_PROGS(KSH,bash ksh sh) -if test -z "$KSH"; then -dnl NOTE: This cannot happen -- /bin/sh must always exist -AC_MSG_ERROR( -[***] -[ Cannot determine a usable shell bash/ksh/sh] -[ Please contact your system administrator] ); -fi -]) |