test -x $randomdecl || exit 77
proc() {
- sed -f tests/randomdecl-sanity.sed || { echo "result=fail"; return 1; }
+ sed -f "$srcdir/tests/randomdecl-sanity.sed" \
+ || { echo "result=fail"; return 1; }
}
printf '%s: randomized test using RANDOMSEED=%d\n' "$0" "$RANDOMSEED"