#!/bin/bash -e VERBOSE="" USE_CCACHE="" KEEP="" USE_WERROR="" while [ $# -gt 0 ]; do ARGSTR=$1 shift if [ ${ARGSTR:0:1} != "-" ]; then echo "Unknown argument $ARGSTR" echo "Try '$0 -h'" wrappedExit 1 fi for (( i=1; i<${#ARGSTR}; i++ )); do ARG=${ARGSTR:$i:1} case $ARG in V ) VERBOSE=true ;; C ) USE_CCACHE=true ;; k ) KEEP=true ;; E ) USE_WERROR=true ;; h ) cat <