#!/bin/sh
srcdir=${srcdir-.}
builddir=${builddir-.}
name=state
prog="$builddir/$name$EXEEXT"
log="$builddir/$name.log"
rm -f "$log"
$builddir/$name$EXEEXT >> $log 2>&1