From d6f80f187c4bc109dd4d8fc839cc376e7b11e593 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ludovic=20Court=C3=A8s?= <ludo@gnu.org>
Date: Wed, 19 Dec 2012 23:24:13 +0100
Subject: [PATCH] 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 5e7380581de33a1ad809f9c621b0ea1b7d91709c..58c39ce7cdbe9bb29b1a331bd02ddb6b9c263d58 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\\[\\] =.*;")