oilshell.org
WILD
/
sdk
/
tools
/ bots
Successfully parsed
1
shell scripts totalling
29
lines in
0.1
seconds (
249.7
lines/sec).
0
OSH-to-Oil translations failed.
Side By Side
Lines
Parsed?
Parse Process Time (secs)
Translated?
Filename
view
29
OK
0.116148
OK
run_android_tests.sh