From d6f80f187c4bc109dd4d8fc839cc376e7b11e593 Mon Sep 17 00:00:00 2001
From: Ludovic Courtès <ludo@gnu.org>
Date: Wed, 19 Dec 2012 23:24:13 +0100
Subject: 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'.
---
 distro/packages/base.scm | 3 +++
 1 file changed, 3 insertions(+)

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 @@ (define-public gcc-4.7
 ~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\\[\\] =.*;")
-- 
cgit v1.2.3