diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2008-04-10T09·54+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2008-04-10T09·54+0000 |
commit | 658816ddc9b6c22ddb9de27b82fc15af2a473723 (patch) | |
tree | 2357f56d7e3cf092952c3fbb75bab3a7cdcfe3eb /scripts | |
parent | 72034ab35d5ba8c2b229fe36375a15b2a8b5b68c (diff) |
* Make really sure that we use bash. The line
NEED_PROG(shell, bash) actually uses the content of $shell if set, which often points at /bin/sh.
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions