Added self-sanity-check for presence of pcregrep, otherwise many (almost all) tests...

diff --git a/development/autotests/run-tests.sh b/development/autotests/run-tests.sh
index a3f7d12eb4cfae8103269bec328707f7f067be82..d2556dadc80fd6af8524f90e648026c8e64eddec 100755 (executable)
--- a/development/autotests/run-tests.sh
+++ b/development/autotests/run-tests.sh
@@ -21,6 +21,12 @@ if [ "$(which wmctrl)" == "" ]; then
     exit -1;
 fi
 
+if [ "$(which pcregrep)" == "" ]; then
+    echo "You need to install pcregrep first, try:"
+    echo "  sudo apt-get install pcregrep"
+    exit -1;
+fi
+
 export XVKBD_EXE=../$XVKBD_EXE
 export KEYTEST=../keytest.py
 LYX_HOME=out-home