diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2007-10-29T10·46+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2007-10-29T10·46+0000 |
commit | 0b95603595511db693378404b0f84d4033030dec (patch) | |
tree | 111dd658fa7271245769c3d6a7506a969af3dd32 /scripts/Makefile.am | |
parent | 42d80d11705579dbb1e8b9029e2beaa1e86baf91 (diff) |
* Depend on bash instead of sh (since we use a few bashisms).
Diffstat (limited to 'scripts/Makefile.am')
0 files changed, 0 insertions, 0 deletions