diff options
Diffstat (limited to 'distro/packages/patches/bigloo-gc-shebangs.patch')
-rw-r--r-- | distro/packages/patches/bigloo-gc-shebangs.patch | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/distro/packages/patches/bigloo-gc-shebangs.patch b/distro/packages/patches/bigloo-gc-shebangs.patch deleted file mode 100644 index 07af261887..0000000000 --- a/distro/packages/patches/bigloo-gc-shebangs.patch +++ /dev/null @@ -1,17 +0,0 @@ -Patch shebangs in source that gets unpacked by `configure'. - ---- bigloo3.9a/gc/install-gc-7.2d 2013-01-14 15:24:01.000000000 +0100 -+++ bigloo3.9a/gc/install-gc-7.2d 2013-01-14 15:23:51.000000000 +0100 -@@ -29,9 +29,11 @@ fi - # untar the two versions of the GC - $tar xfz $src -C ../gc || (echo "$tar xfz $src failed"; exit 1) - /bin/rm -rf "../gc/$gc"_fth -+find ../gc/gc-7.2 -perm /111 -type f | xargs sed -i -e"s|/bin/sh|`type -P bash`|g" - mv ../gc/gc-7.2 "../gc/$gc"_fth || (echo "mv gc-7.2 failed"; exit 1) - - $tar xfz $src -C ../gc || (echo "$tar xfz $src failed"; exit 1) -+find ../gc/gc-7.2 -perm /111 -type f | xargs sed -i -e"s|/bin/sh|`type -P bash`|g" - mv ../gc/gc-7.2 "../gc/$gc" - - # general Bigloo patch - |