blob: 2777b21cd334740adb3925da4c812ada31301971 [file] [log] [blame]
#!/bin/sh
# bash is used in various headers so we need a wrapper to invoke sh
# instead.
exec sh "$@"