Markus Hauck aafbd40577 Replace hard coded /bin/bash occurrences		2016-10-04 20:15:37 +02:00
..
add-flags
builder.sh
default.nix
gcc-wrapper-old.sh
gcc-wrapper.sh
gnat-wrapper.sh
gnatlink-wrapper.sh
ld-solaris-wrapper.sh
ld-wrapper.sh
setup-hook.sh
utils.sh