Cross Reference: run.sh
xref
: /
hets
/
Haskell
/
test
/
run.sh
Home
History
Annotate
Line#
Navigate
Download
Search
only in
./
895a60f3f11b5f1210f146324e9ffe5e1b9c211f
Christian Maeder
#!/
bin
/
sh
895a60f3f11b5f1210f146324e9ffe5e1b9c211f
Christian Maeder
62726f92bc66506cbc754b3f7f14afe4e92cd9f5
Christian Maeder
isabellescriptspath
=../../../
utils
/
nightly
449dec898e52d1ce9b809df70cf26cd567ae8518
Christian Maeder
895a60f3f11b5f1210f146324e9ffe5e1b9c211f
Christian Maeder
run
()
895a60f3f11b5f1210f146324e9ffe5e1b9c211f
Christian Maeder
{
895a60f3f11b5f1210f146324e9ffe5e1b9c211f
Christian Maeder
cd
$
1
df29370ae8d8b41587957f6bcdcb43a3f1927e47
Christian Maeder
../../
h2hf
$
1
*.
hs
449dec898e52d1ce9b809df70cf26cd567ae8518
Christian Maeder
$isabellescriptspath
/$
2.sh
*.
thy
>
log
2
>&
1
449dec898e52d1ce9b809df70cf26cd567ae8518
Christian Maeder
fgrep
'***'
log
895a60f3f11b5f1210f146324e9ffe5e1b9c211f
Christian Maeder
cd
..
895a60f3f11b5f1210f146324e9ffe5e1b9c211f
Christian Maeder
}
895a60f3f11b5f1210f146324e9ffe5e1b9c211f
Christian Maeder
449dec898e52d1ce9b809df70cf26cd567ae8518
Christian Maeder
run
HOL
runisabelle