about summary refs log tree commit diff
path: root/scripts
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2008-04-10T09·54+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2008-04-10T09·54+0000
commit658816ddc9b6c22ddb9de27b82fc15af2a473723 (patch)
tree2357f56d7e3cf092952c3fbb75bab3a7cdcfe3eb /scripts
parent72034ab35d5ba8c2b229fe36375a15b2a8b5b68c (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