From 7ca7d093df5ed4f4408f4617036116a84df2bd7f Mon Sep 17 00:00:00 2001
From: Jose Antonio Ortega Ruiz <jao@gnu.org>
Date: Thu, 23 Aug 2001 00:01:08 +0000
Subject: mixguile commands

---
 configure.in | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'configure.in')

diff --git a/configure.in b/configure.in
index b7deb10..9e143f4 100644
--- a/configure.in
+++ b/configure.in
@@ -110,7 +110,7 @@ dnl Check for libglade
 if test x$gui = xtrue; then
   AM_PATH_LIBGLADE([LIBS="$LIBS $LIBGLADE_LIBS"
           CFLAGS="$CFLAGS $LIBGLADE_CFLAGS"],
-     	  [AC_MSG_WARN(Cannot find GTK+: the GUI shall not be built) gui=false])
+     	  [(Cannot find libglade: the GUI shall not be built) gui=false])
 fi
 
 dnl use the provided getopt if gnu getopt is not available
@@ -154,4 +154,7 @@ echo "    - mixvm (MIX virtual machine${rlinfo}${guileinfo})"
 if test x$gui = xtrue; then
 echo "    - gmixvm (mixvm GTK+ GUI${guileinfo})"
 fi
+if test x$wguile = xtrue; then
+echo "    - mixguile (the mixvm guile shell)"
+fi
 echo
-- 
cgit v1.2.3