diff options
| -rwxr-xr-x | tests/run.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/tests/run.sh b/tests/run.sh index f1ec3328a..5e0bf68e2 100755 --- a/tests/run.sh +++ b/tests/run.sh @@ -28,6 +28,9 @@ while [ -n "$1" ]; do --fake) OPTS="$OPTS --fake" ;; + --memcheck) + OPTS="$OPTS --memcheck" + ;; --*) echo "Unknown option $1" echo "Usage: run [--fake] [--force] [<component> ...]" |