Advertisement
Guest User

Untitled

a guest
Feb 25th, 2020
98
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.45 KB | None | 0 0
  1. #!/bin/bash
  2.  
  3. # store arguments in a special array
  4. args=("$@")
  5. declare -a params
  6. # get number of elements
  7. ELEMENTS=${#args[@]}
  8.  
  9. # echo each element in array
  10. # for loop
  11. PARAMS=""
  12. for (( i=0;i<$ELEMENTS;i++)); do
  13. if [ "${args[${i}]}" != "-march=native" ] && [ "${args[${i}]}" != "-mtune=native" ]; then
  14. params+=("${args[${i}]}")
  15. fi
  16. done
  17.  
  18. echo Substituted params: "${params[@]}"
  19. /usr/bin/mips64-unknown-linux-gnu-gcc "${params[@]}"
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement