diff options
author | Bertrand Lorentz <bertrand.lorentz@gmail.com> | 2010-09-16 23:09:57 +0400 |
---|---|---|
committer | Bertrand Lorentz <bertrand.lorentz@gmail.com> | 2011-02-26 21:05:50 +0300 |
commit | e7a4402736518ae27cc87d4cdb22d411de2fc301 (patch) | |
tree | 26f29e9b93a409482000eb0982f77ac538fc31b2 /packages | |
parent | 1e364b7bc6888219fe9ad4dc61bff5e4756f7ba4 (diff) |
Fix shell syntax for non bash shells
The custom make command in mono.py is executed with the default shell,
which on some systems doesn't support the fancy for loop syntax, like
dash on Ubuntu.
Diffstat (limited to 'packages')
-rw-r--r-- | packages/mono.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/packages/mono.py b/packages/mono.py index a14143f..2808546 100644 --- a/packages/mono.py +++ b/packages/mono.py @@ -15,7 +15,7 @@ class MonoPackage (Package): ) # Mono (in libgc) likes to fail to build randomly - self.make = 'for((i=0;i<20;i++)); do make && break; done' + self.make = 'for i in 1 2 3 4 5 6 7 8 9 10; do make && break; done' # def prep (self): # Package.prep (self) |