diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2008-04-10 09:54:23 +0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2008-04-10 09:54:23 +0000 |
| commit | 658816ddc9b6c22ddb9de27b82fc15af2a473723 (patch) | |
| tree | 2357f56d7e3cf092952c3fbb75bab3a7cdcfe3eb /aterm-gc.supp | |
| 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 'aterm-gc.supp')
0 files changed, 0 insertions, 0 deletions