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	…