repo.or.cz
/
ci.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
Adapt CI for changes in https://github.com/HelenOS/harbours/pull/1 (#1)
[ci.git]
/
scenarios
/
coast
/
libisl
/
smoke.test
blob
fc05527ff9f9fab5dcd902b0c152a01073e5eff5
1
#!/bin/sh
2
3
# @needs libisl
4
5
xx_start_machine
6
7
xx_cmd
'from /tests/libisl/max.pip | /tests/libisl/isl_pip --format=set --context=gbr -T'
timeout
=
20
8
9
xx_stop_machine