ci-hol4.sh 40 Bytes
Newer Older
Heiko Becker's avatar
Heiko Becker committed
1 2 3 4
#!/bin/sh

cd ./hol
$HOLDIR/bin/Holmake