changeset 5511:67d0f55b4be9

Find and fix dash oopslet.
author Jan Nieuwenhuizen <janneke@gnu.org>
date Thu, 20 Aug 2009 22:19:48 +0200
parents bfb2318d2553
children 9784b7c6be0e
files gub/target.py
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/gub/target.py	Thu Aug 20 22:09:41 2009 +0200
+++ b/gub/target.py	Thu Aug 20 22:19:48 2009 +0200
@@ -18,7 +18,7 @@
     def configure_command (self):
         SHELL = ''
         if 'stat' in misc.librestrict ():
-            SHELL = ' SHELL=%(tools_prefix)s/bin/dash'
+            SHELL = ' SHELL=%(tools_prefix)s/bin/sh'
         return (misc.join_lines ('''%(configure_binary)s
 --config-cache
 --enable-shared