Ten years old leftover.

[lyx.git] / development / keystest / main.sh

diff --git a/development/keystest/main.sh b/development/keystest/main.sh
index 367d9fd707b85321f55ca4dd8eee07d2bc264b85..b826a0ae479a206ffd4fd7e1968a5cc2080a093b 100755 (executable)
--- a/development/keystest/main.sh
+++ b/development/keystest/main.sh
@@ -1,9 +1,19 @@
 #PWD=`pwd`
+. ./shared_variables.sh
 if [ "$USER" != keytest ]
 then
        echo USER is "$USER", not keytest! Exiting.
        exit
 fi
+
+for file in $ROOT_OUTDIR/to*/*pure
+do
+       if ! cat $file > /dev/null
+       then
+               echo cannot read $file, perhaps permissions are wrong?
+               exit 1
+       fi
+done
 #(DISPLAY=:1 sudo -u keytest -H nice -18 ; cd $PWD ; ./autolyx)
 ./killtest.sh # kill any previous test, so does not interfere
 ./autolyx