Remove obsolete script

This commit is contained in:
Gunter Labes 2023-07-20 18:52:45 +02:00 committed by GitHub
parent 26394f77e5
commit 7223833ccc
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -1,25 +0,0 @@
#!/bin/sh
COUNTER=9
export PATH="/usr/local/bin:$PATH"
run_test() {
xvfb-run -e xvfb-err "$@"
}
run_test "$@"
ERRORCODE=$?
while [ $COUNTER -gt 0 -a $ERRORCODE -eq 1 ];do
if [ -s xvfb-err ]; then
echo "xvfb output:"
cat xvfb-err
rm xvfb-err
fi
echo "\n\'xvfb-run $@' returned 1, which could mean that xvfb failed. Retrying..."
run_test "$@"
ERRORCODE=$?
COUNTER=$(($COUNTER - 1))
done
rm -f xvfb-err
exit $ERRORCODE