oilshell.org
WILD
/
gnu
/
grep-2.24
/ build-aux
Successfully parsed
1
shell scripts totalling
504
lines in
0.72
seconds (
700.0
lines/sec).
0
OSH-to-Oil translations failed.
Side By Side
Lines
Parsed?
Parse Process Time (secs)
Translated?
Filename
view
504
OK
0.72
OK
gendocs.sh
stderr
Parsing gendocs.sh
NOTE: Performed 36801 ASDL_TYPE_CHECKs.