diff options
author | Martin Baulig <martin@src.gnome.org> | 1998-05-21 20:18:29 +0000 |
---|---|---|
committer | Martin Baulig <martin@src.gnome.org> | 1998-05-21 20:18:29 +0000 |
commit | 066c74d11dcb29a131221295684f12ff3c822e67 (patch) | |
tree | 9ac5d3e3131514986c7e6ac3a951785bf0c0aaa5 | |
parent | d7e1c5d56a55584c73cd5dd3db8e6ef0a046b374 (diff) | |
download | libgtop-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.in | 5 |
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@" |