From d5ab0ed1b955559a00769c8cf340b09145911964 Mon Sep 17 00:00:00 2001
From: Marcus Comstedt <marcus@mc.pp.se>
Date: Tue, 5 Sep 2000 18:25:03 +0200
Subject: [PATCH] Bugfix.
Rev: src/modules/Gmp/configure.in:1.19
---
src/modules/Gmp/configure.in | 8 ++++----
1 file changed, 4 insertions(+), 4 deletions(-)
diff --git a/src/modules/Gmp/configure.in b/src/modules/Gmp/configure.in
index 61b9990236..fc5f5b9053 100644
--- a/src/modules/Gmp/configure.in
+++ b/src/modules/Gmp/configure.in
@@ -1,4 +1,4 @@
-# $Id: configure.in,v 1.18 2000/09/05 13:01:01 grubba Exp $
+# $Id: configure.in,v 1.19 2000/09/05 16:25:03 marcus Exp $
AC_INIT(mpz_glue.c)
AC_CONFIG_HEADER(gmp_machine.h)
AC_ARG_WITH(gmp, [ --with(out)-gmp Support bignums],[],[with_gmp=yes])
@@ -74,11 +74,11 @@ __MPN(PiKe)
])
])
])
- if test "x[$]PIKE_PREFIX_NAME" = "xno"; then
+ if test "x$PIKE_PREFIX_NAME" = "xno"; then
AC_MSG_RESULT(warning -- prefix not found)
else
- AC_MSG_RESULT([$]PIKE_PREFIX_NAME)
- AC_DEFINE(PIKE_MPN_PREFIX, [$]PIKE_PREFIX_NAME)
+ AC_MSG_RESULT($PIKE_PREFIX_NAME)
+ AC_DEFINE_UNQUOTED(PIKE_MPN_PREFIX, $PIKE_PREFIX_NAME)
fi
undefine(PIKE_PREFIX_NAME)
--
GitLab