#!/bin/sh
set +e
cd "$(dirname "$0")"
echo "=== verify.sh (static source checks) ==="
sh verify.sh
echo
echo "=== df1093_harness (unpatched) ==="
./df1093_harness
echo
echo "=== df1093_harness_fix (patched) ==="
./df1093_harness_fix
echo "RUN_EXIT=$?"