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