diff options
-rw-r--r-- | lang/swi-pl/files/patch-configure | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/lang/swi-pl/files/patch-configure b/lang/swi-pl/files/patch-configure new file mode 100644 index 000000000000..31009281abe7 --- /dev/null +++ b/lang/swi-pl/files/patch-configure @@ -0,0 +1,14 @@ +--- ./configure.orig 2011-08-19 18:31:28.000000000 +0400 ++++ ./configure 2012-07-05 22:39:12.000000000 +0400 +@@ -34,11 +34,6 @@ + --with-world) TARGET=world + shift + ;; +- --without-*) pkg=`echo $1 | sed 's/--without-//'` +- DISABLE_PKGS="$DISABLE_PKGS $pkg" +- export DISABLE_PKGS +- shift +- ;; + --link) TARGET="ln-$TARGET" + shift + ;; |