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