fix with bash

This commit is contained in:
Ella Stanforth 2022-04-19 10:02:22 +00:00
parent 31a67282f2
commit 5312debe4f

View file

@ -4,7 +4,10 @@ set -e
export HOST_ARCH=$(uname -m) export HOST_ARCH=$(uname -m)
export HOST_TRIPLE="$HOST_ARCH-unknown-linux-musl" export HOST_TRIPLE="$HOST_ARCH-unknown-linux-musl"
command -V bad 2>/dev/null || bad() { shift; "$@" } command -V bad 2>/dev/null || bad() {
shift
"$@"
}
usage() { usage() {
echo "usage: $(basename $0) [fbp]" echo "usage: $(basename $0) [fbp]"