run_verify.sh


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

#!/bin/bash

SRCDIR=$(dirname $0)

if [ -n "$1" -a -d "$1" ]; then
    TMPDIR="$1"
else
    TMPDIR=/tmp
fi

cd $TMPDIR || exit 1

cp -p "$SRCDIR"/verify.sh . || exit 1

./verify.sh > verify.out 2>&1 || (cat verify.out; exit 1)