summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMartin Baulig <martin@src.gnome.org>1998-05-21 20:18:29 +0000
committerMartin Baulig <martin@src.gnome.org>1998-05-21 20:18:29 +0000
commit066c74d11dcb29a131221295684f12ff3c822e67 (patch)
tree9ac5d3e3131514986c7e6ac3a951785bf0c0aaa5
parentd7e1c5d56a55584c73cd5dd3db8e6ef0a046b374 (diff)
downloadlibgtop-066c74d11dcb29a131221295684f12ff3c822e67.tar.gz
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'.
-rw-r--r--gtopConf.sh.in5
1 files changed, 5 insertions, 0 deletions
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@"