diff options
| author | Joe Marcus Clarke <marcus@FreeBSD.org> | 2003-05-18 17:54:18 +0000 |
|---|---|---|
| committer | Joe Marcus Clarke <marcus@FreeBSD.org> | 2003-05-18 17:54:18 +0000 |
| commit | f0569297de9d5e8a603bd92d73c758c1a36ec56e (patch) | |
| tree | fa3e7cab65119e82afbe52e3dfc8f54314d9c834 | |
| parent | Run the correct version of gconftool. (diff) | |
Fix configure in the absence of GNOME.
Reported by: bento
Notes
Notes:
svn path=/head/; revision=81260
| -rw-r--r-- | audio/terminatorx/files/patch-configure | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/audio/terminatorx/files/patch-configure b/audio/terminatorx/files/patch-configure new file mode 100644 index 000000000000..49f6f8747390 --- /dev/null +++ b/audio/terminatorx/files/patch-configure @@ -0,0 +1,11 @@ +--- configure.orig Sun May 18 13:52:38 2003 ++++ configure Sun May 18 13:53:02 2003 +@@ -7319,6 +7319,8 @@ + echo "${ECHO_T}Found GNOME - installing terminatorX.desktop." >&6 + OPTION_GNOME="yes" + else ++ GNOMEpresent_TRUE='#' ++ GNOMEpresent_FALSE= + echo "$as_me:$LINENO: result: GNOME not found." >&5 + echo "${ECHO_T}GNOME not found." >&6 + fi |