From 066c74d11dcb29a131221295684f12ff3c822e67 Mon Sep 17 00:00:00 2001 From: Martin Baulig Date: Thu, 21 May 1998 20:18:29 +0000 Subject: [PATCH] added 'GTOP_GUILE_FOUND', 'GTOP_WANT_NAMES', 'GTOP_WANT_GUILE_NAMES' and * gtopConf.sh.in: added 'GTOP_GUILE_FOUND', 'GTOP_WANT_NAMES', 'GTOP_WANT_GUILE_NAMES' and 'GTOP_WANT_EXAMPLES'. --- gtopConf.sh.in | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/gtopConf.sh.in b/gtopConf.sh.in index 5776f348..c5bab334 100644 --- a/gtopConf.sh.in +++ b/gtopConf.sh.in @@ -18,3 +18,8 @@ GTOP_SYSDEPS_DIR="@GTOP_SYSDEPS_DIR@" GTOP_NEED_SERVER="@GTOP_NEED_SERVER@" GTOP_USE_MACHINE_H="@GTOP_USE_MACHINE_H@" +GTOP_GUILE_FOUND="@GTOP_GUILE_FOUND@" + +GTOP_WANT_NAMES="@GTOP_WANT_NAMES@" +GTOP_WANT_GUILE_NAMES="@GTOP_WANT_GUILE_NAMES@" +GTOP_WANT_EXAMPLES="@GTOP_WANT_EXAMPLES@"