grep tests; slight tweak to tester

This commit is contained in:
Remzi Arpaci-Dusseau
2019-02-15 14:13:15 -06:00
parent ae105d7929
commit aaa4f45784
43 changed files with 1000080 additions and 2 deletions

View File

@@ -0,0 +1,11 @@
#! /bin/bash
if ! [[ -x wgrep ]]; then
echo "wgrep executable does not exist"
exit 1
fi
../../tester/run-tests.sh $*