oilshell.org
WILD
/
linux-4.8.7
/
arch
/
arm64
/
kernel
/ vdso
Successfully parsed
1
shell scripts totalling
15
lines in
0.1
seconds (
132.4
lines/sec).
0
OSH-to-Oil translations failed.
Side By Side
Lines
Parsed?
Parse Process Time (secs)
Translated?
Filename
view
15
OK
0.113329
OK
gen_vdso_offsets.sh