2016-08-15 19:29:53 +02:00
|
|
|
#!/bin/bash
|
2016-11-26 21:25:16 +01:00
|
|
|
have_o=false
|
|
|
|
for arg in "$@"; do
|
|
|
|
if [[ "$arg" = "-o" ]]; then
|
|
|
|
have_o=true
|
|
|
|
break
|
|
|
|
fi
|
|
|
|
done
|
|
|
|
|
|
|
|
args=()
|
|
|
|
for arg in "$@"; do
|
|
|
|
if [[ $have_o = true && "$arg" =~ ^extra-filename= ]]; then
|
|
|
|
unset args[${#args[@]}-1]
|
|
|
|
elif [[ $have_o = true && "$arg" =~ ^--emit= ]]; then
|
|
|
|
args+=("--emit=link")
|
|
|
|
else
|
|
|
|
args+=("$arg")
|
|
|
|
fi
|
|
|
|
done
|
|
|
|
|
2017-01-21 03:13:01 +01:00
|
|
|
RUST_BACKTRACE=1 exec rustc -L build/userspace "${args[@]}"
|