Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- #!/bin/bash
- # store arguments in a special array
- args=("$@")
- declare -a params
- # get number of elements
- ELEMENTS=${#args[@]}
- # echo each element in array
- # for loop
- PARAMS=""
- for (( i=0;i<$ELEMENTS;i++)); do
- if [ "${args[${i}]}" != "-march=native" ] && [ "${args[${i}]}" != "-mtune=native" ]; then
- params+=("${args[${i}]}")
- fi
- done
- echo Substituted params: "${params[@]}"
- /usr/bin/mips64-unknown-linux-gnu-gcc "${params[@]}"
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement