mirror of
https://github.com/RIOT-OS/RIOT.git
synced 2024-12-29 04:50:03 +01:00
15 lines
174 B
Plaintext
15 lines
174 B
Plaintext
|
#!/bin/bash
|
||
|
|
|
||
|
|
args=($@)
|
||
|
|
|
||
|
|
for ((i = 0; i < ${#args[@]}; ++i))
|
||
|
|
do
|
||
|
|
if [[ "${args[i]}" == '-lm' ]]
|
||
|
|
then
|
||
|
|
unset args[i]
|
||
|
|
break
|
||
|
|
fi
|
||
|
|
done
|
||
|
|
|
||
|
|
exec "${args[@]}"
|