diff options
Diffstat (limited to 'config/open-axiom.m4')
| -rw-r--r-- | config/open-axiom.m4 | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/config/open-axiom.m4 b/config/open-axiom.m4 index d7de600a..fac0f7d0 100644 --- a/config/open-axiom.m4 +++ b/config/open-axiom.m4 @@ -554,6 +554,8 @@ AC_DEFUN([OPENAXIOM_BUILD_TOOLS],[ AC_CHECK_PROG([TOUCH], [touch], [touch], [AC_MSG_ERROR(['touch' program is missing.])]) AC_PROG_INSTALL +AC_PROG_LN_S +AC_PROG_SED AC_CHECK_PROGS([MKTEMP], [mktemp]) AC_PROG_AWK |