diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2007-12-14T14·08+0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2007-12-14T14·08+0000 |
| commit | 485d71c54a323e967ef4f0b4c5ebf97e97d7d725 (patch) | |
| tree | aeb525d0101fed9514ba0d38f177fd3074c4b825 /scripts | |
| parent | 30e4653783096c8349ef12512df12f0829764e65 (diff) | |
* Mac OS X 10.5 compatibility: `echo -n foo' suddenly prints `-n foo'
instead of `foo' without a newline (with /bin/sh, not /bin/bash, even though /bin/sh is also bash...). So use printf instead.
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions