diff options
author | Ricardo Wurmus <rekado@elephly.net> | 2020-04-22 10:21:06 +0200 |
---|---|---|
committer | Ricardo Wurmus <rekado@elephly.net> | 2020-04-22 10:29:57 +0200 |
commit | 3aad292fe97fd512f088528b0c5ada2f6d4042d2 (patch) | |
tree | d5d9cb3f8c6a98cb9354604337b7f922db6dba1f /configure.ac | |
parent | bef28572e1164b42c9d89c38467a81582d01c4bb (diff) |
WIP: Remove mumimu.
Good riddance!
Diffstat (limited to 'configure.ac')
-rw-r--r-- | configure.ac | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/configure.ac b/configure.ac index 4323a23..47753e5 100644 --- a/configure.ac +++ b/configure.ac @@ -62,8 +62,6 @@ dnl if test "x$have_fibers" != "xyes"; then dnl AC_MSG_ERROR([Guile fibers is missing; please install it.]) dnl fi -AC_PATH_PROG([MUMIMU], [mumimu]) - guilemoduledir="${datarootdir}/guile/site/${GUILE_EFFECTIVE_VERSION}" AC_SUBST([guilemoduledir]) AC_SUBST([GUILE_EFFECTIVE_VERSION]) |