diff options
Diffstat (limited to 'x11-toolkits/py-gnome-extras/files/patch-configure')
-rw-r--r-- | x11-toolkits/py-gnome-extras/files/patch-configure | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/x11-toolkits/py-gnome-extras/files/patch-configure b/x11-toolkits/py-gnome-extras/files/patch-configure deleted file mode 100644 index 407ce7f17..000000000 --- a/x11-toolkits/py-gnome-extras/files/patch-configure +++ /dev/null @@ -1,22 +0,0 @@ ---- configure.orig Sun Feb 25 16:31:03 2007 -+++ configure Sat Jul 21 20:04:43 2007 -@@ -1550,7 +1550,7 @@ - --with-pic try to use only PIC/non-PIC objects [default=use - both] - --with-tags[=TAGS] include additional configurations [automatic] -- --with-gtkmozembed=mozilla|firefox|xulrunner -+ --with-gtkmozembed=mozilla|firefox|xulrunner|seamonkey - package that provides libgtkmozembed - - Some influential environment variables: -@@ -22072,8 +22072,9 @@ - xulrunner) mozpackage_required_version=1.8 ;; - firefox) mozpackage_required_version=1.0 ;; - mozilla) mozpackage_required_version=1.2b ;; -+ seamonkey) mozpackage_required_version=1.1.3 ;; - *) { { echo "$as_me:$LINENO: error: --with-gtkmozembed argument must be either 'mozilla', 'firefox', or 'xulrunner'" >&5 --echo "$as_me: error: --with-gtkmozembed argument must be either 'mozilla', 'firefox', or 'xulrunner'" >&2;} -+echo "$as_me: error: --with-gtkmozembed argument must be either 'mozilla', 'firefox', 'seamonkey' or 'xulrunner'" >&2;} - { (exit 1); exit 1; }; } - esac - |