diff options
| author | Leo Famulari <leo@famulari.name> | 2017-07-23 03:42:12 -0400 |
|---|---|---|
| committer | Leo Famulari <leo@famulari.name> | 2017-07-23 03:42:12 -0400 |
| commit | 6c1a317e29c45e85e3a0e050612cdefe470b100c (patch) | |
| tree | e65dedf933090b1a9f8398655b3b20eba49fae96 /gnu/packages/patches/bigloo-gc-shebangs.patch | |
| parent | b7158b767b7fd9f0379dfe08083c48a0cf0f3d50 (diff) | |
| parent | 9478c05955643f8ff95dabccc1e42b20abb88049 (diff) | |
| download | guix-6c1a317e29c45e85e3a0e050612cdefe470b100c.tar.gz | |
Merge branch 'master' into core-updates
Diffstat (limited to 'gnu/packages/patches/bigloo-gc-shebangs.patch')
| -rw-r--r-- | gnu/packages/patches/bigloo-gc-shebangs.patch | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/gnu/packages/patches/bigloo-gc-shebangs.patch b/gnu/packages/patches/bigloo-gc-shebangs.patch deleted file mode 100644 index 367708610a..0000000000 --- a/gnu/packages/patches/bigloo-gc-shebangs.patch +++ /dev/null @@ -1,18 +0,0 @@ -Patch shebangs in source that gets unpacked by `configure'. - ---- bigloo4.1a/gc/install-gc-7.4.0 2014-02-04 14:55:03.000000000 +0100 -+++ bigloo4.1a/gc/install-gc-7.4.0 2014-02-04 14:55:36.000000000 +0100 -@@ -29,10 +29,12 @@ 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 -+rm -rf "../gc/$gc"_fth -+find ../gc/$gc -perm /111 -type f | xargs sed -i -e"s|/bin/sh|`type -P sh`|g" - mv ../gc/$gc "../gc/$gc"_fth || (echo "mv $gc failed"; exit 1) - - $tar xfz $src -C ../gc || (echo "$tar xfz $src failed"; exit 1) -+find ../gc/$gc -perm /111 -type f | xargs sed -i -e"s|/bin/sh|`type -P sh`|g" - - # general Bigloo patch - (cd "../gc/$gc"_fth && $patch -p1 < ../$gc.patch > /dev/null) |