File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 3939 - name : test wcc
4040 run : make test-wcc
4141 - name : test wcc gen2
42- run : make test-wcc-gen2
42+ run : make VERBOSE=1 test-wcc-gen2
Original file line number Diff line number Diff line change 55PRJROOT=$( cd " $( dirname " $0 " ) /.." ; pwd)
66WCCWASM=$PRJROOT /cc.wasm
77CWD=.
8- EXTRA_OPTS=()
8+ EXTRA_OPTS=' '
99
10- while (( $# > 0 ))
10+ while [ $# -gt 0 ] # (( $# > 0 ))
1111do
1212 case $1 in
1313 -C | --current-dir | --current-dir=* )
2222 fi
2323 ;;
2424 --dir=* | --mapdir=* )
25- EXTRA_OPTS+=( $1 )
25+ EXTRA_OPTS= " ${EXTRA_OPTS} " " $1 " # Escape required?
2626 ;;
2727 --)
2828 shift
3939 shift
4040done
4141
42+ echo " CWD=${CWD} , [${EXTRA_OPTS} ]"
43+
4244if [ ! -e " $WCCWASM " ]; then
4345 echo " Run 'make wcc-gen2' command to create executable" 1>&2
4446 exit 1
4547fi
4648
47- echo " CWD=${CWD} , ${EXTRA_OPTS[@]} "
48-
4949" $PRJROOT /tool/runwasi" \
5050 --dir=" ${CWD} " \
5151 --dir=/tmp \
You can’t perform that action at this time.
0 commit comments