Skip to content
Snippets Groups Projects
Commit 527a02cc authored by Claus-Justus Heine's avatar Claus-Justus Heine
Browse files

Do not tweak the default prefix.

parent 024f7a7f
No related branches found
No related tags found
No related merge requests found
...@@ -82,9 +82,7 @@ AM_CONFIG_HEADER([config.h]) ...@@ -82,9 +82,7 @@ AM_CONFIG_HEADER([config.h])
# #
# cH: hey, boys and girls, why do we do that? # cH: hey, boys and girls, why do we do that?
# #
if test "${USE_MAINTAINER_MODE}" = "yes"; then # AC_PREFIX_DEFAULT([`pwd`])
AC_PREFIX_DEFAULT([`pwd`])
fi
AC_ARG_ENABLE([dim-of-world], AC_ARG_ENABLE([dim-of-world],
[AC_HELP_STRING([--enable-dim-of-world="DIM1 ... DIMk"], [AC_HELP_STRING([--enable-dim-of-world="DIM1 ... DIMk"],
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment