diff options
author | Ludovic Courtès <ludo@gnu.org> | 2012-12-19 23:24:13 +0100 |
---|---|---|
committer | Ludovic Courtès <ludo@gnu.org> | 2012-12-20 01:38:56 +0100 |
commit | d6f80f187c4bc109dd4d8fc839cc376e7b11e593 (patch) | |
tree | 43646f3e7df76e674a921d2432c6ce8030f2c65b /distro/packages | |
parent | dfb53ee2324689f5f7843b87c7dfd6cdd4eb49bc (diff) |
distro: gcc: Patch to allow builds without /bin/sh.
* distro/packages/base.scm (gcc-4.7): In `pre-configure' phase, patch
shebang in `gcc/exec-tool.in'.
Diffstat (limited to 'distro/packages')
-rw-r--r-- | distro/packages/base.scm | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/distro/packages/base.scm b/distro/packages/base.scm index 5e7380581d..58c39ce7cd 100644 --- a/distro/packages/base.scm +++ b/distro/packages/base.scm @@ -428,6 +428,9 @@ BFD (Binary File Descriptor) library, `gprof', `nm', `strip', etc.") ~a~%" libc line)))) + ;; Adjust hard-coded #!/bin/sh. + (patch-shebang "gcc/exec-tool.in") + ;; Don't retain a dependency on the build-time sed. (substitute* "fixincludes/fixincl.x" (("static char const sed_cmd_z\\[\\] =.*;") |