| Index: scripts/common.sh
|
| ===================================================================
|
| --- scripts/common.sh (revision 56518)
|
| +++ scripts/common.sh (working copy)
|
| @@ -20,7 +20,7 @@
|
| # $3 = source dir
|
| # Checkout Valgrind, apply our patches to Valgrind.
|
| # The source will be put in $THISDIR/valgrind-source
|
| - cd $THISDIR
|
| + cd "$THISDIR"
|
| VG_REV="$1"
|
| VEX_REV="$2"
|
| SOURCE_DIR="$3"
|
| @@ -152,7 +152,7 @@
|
|
|
| # Delete un-needed stuff from the $OUTPUT_DIR
|
| # TODO(timurrrr): probably, we should just don't build the unused tools
|
| - cd $OUTPUT_DIR
|
| + cd "$OUTPUT_DIR"
|
| rm -rf include
|
| rm -rf lib/pkgconfig lib/*.a
|
| rm bin/*cg_* bin/callgrind*
|
| @@ -177,7 +177,7 @@
|
| fi
|
|
|
| # We're done
|
| - cd $PREV_DIR
|
| + cd "$PREV_DIR"
|
| # }}}
|
| }
|
|
|
| @@ -229,7 +229,7 @@
|
|
|
| # Check that the binaries directory exists.
|
| BINARIES_DIR="$THISDIR/../binaries"
|
| -if ! [ -a $BINARIES_DIR ]
|
| +if ! [ -a "$BINARIES_DIR" ]
|
| then
|
| echo "Error: $BINARIES_DIR doesn't exist!" >&2
|
| exit 1
|
|
|