1 |
#!/bin/csh |
#!/bin/csh -f |
2 |
|
|
3 |
# Run this script from the verification directory |
# Run this script from the verification directory |
4 |
# It will automatically configure, compile, run and verify all experiments |
# It will automatically configure, compile, run and verify all experiments |
48 |
foreach dr ([a-zA-Z01-9]*) |
foreach dr ([a-zA-Z01-9]*) |
49 |
if (! -d $dr/input ) continue |
if (! -d $dr/input ) continue |
50 |
foreach skip ($SKIP) |
foreach skip ($SKIP) |
51 |
if ($skip == $dr) continue;continue |
if ( `echo $dr | sed s/$skip.'*'//` == '' ) continue;continue |
52 |
end |
end |
53 |
set config=- |
set config=- |
54 |
set makedepend=- |
set makedepend=- |