changeset 5166:dd11858b78e9

gmp: handle libtool fixup even when SHELL != /bin/*sh.
author Jan Nieuwenhuizen <janneke@gnu.org>
date Tue, 17 Feb 2009 16:22:21 +0100
parents 3baa15448cb6
children 087b8fc6b8d8
files gub/specs/gmp.py
diffstat 1 files changed, 2 insertions(+), 3 deletions(-) [+]
line wrap: on
line diff
--- a/gub/specs/gmp.py	Tue Feb 17 16:21:18 2009 +0100
+++ b/gub/specs/gmp.py	Tue Feb 17 16:22:21 2009 +0100
@@ -19,9 +19,8 @@
         # automake's Makefile.in's too old for new libtool,
         # but autoupdating breaks even more.  This nice
         # hack seems to work.
-        self.file_sub ([('#! /bin/sh', '#! /bin/sh\ntagname=CXX'),
-                        ('#! /bin/bash', '#! /bin/bash\ntagname=CXX')],
-               '%(builddir)s/libtool')
+        self.file_sub ([('(#! .*/bin/.*sh)', r'#! \1\ntagname=CXX')],
+                       '%(builddir)s/libtool')
         
 class Gmp__darwin (Gmp):
     def patch (self):