+++ /dev/null
-#!/bin/sh
-# usage: ./dorecord <casename> <initfile> <args>
-
-set -e
-casename="$1"; shift
-initfile="$1"; shift
-
-initstring="`cat \"init-$initfile.text\"`"
-
-exec 3>"case-$casename.sys"
-echo >&3 "$initfile"
-echo >&3 "$@"
-
-ADNS_TEST_OUT_FD=3
-export ADNS_TEST_OUT_FD
-
-./hrecord "/$initstring" "$@" 1>"case-$casename.out" 2>"case-$casename.err"