diff options
author | Richard Maw <richard.maw@codethink.co.uk> | 2012-02-20 09:53:07 +0000 |
---|---|---|
committer | Richard Maw <richard.maw@codethink.co.uk> | 2012-02-20 11:13:50 +0000 |
commit | 68c2043fbd32b3e07dd96a4b408dbc1c64aea838 (patch) | |
tree | 793544e150be042c2ec276d71704a4ee046f90d6 | |
parent | 22584566f105f4abe7db1b53b390edc0571304a9 (diff) | |
download | m4-68c2043fbd32b3e07dd96a4b408dbc1c64aea838.tar.gz |
m4.morph: use bash as the shell to run gnulib-tool
-rw-r--r-- | m4.morph | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -3,7 +3,7 @@ "kind": "chunk", "configure-commands": [ "rm .git*", - "bash bootstrap --skip-po", + "CONFIG_SHELL=\"/bin/bash\" bash -ex bootstrap --skip-po", "./configure --prefix=/usr --disable-nls" ], "build-commands": [ |