WILD/cloud/rocket/dist/scripts - Parsing and Translating Shell Scripts with Oil

Successfully parsed 1 shell scripts totalling 86 lines in 0.19 seconds (452.6 lines/sec).
0 OSH-to-Oil translations failed.

Side By Side	Lines	Parsed?	Parse Process Time (secs)	Translated?	Filename
view	86	OK	0.19	OK	setup-data-dir.sh

stderr

Parsing setup-data-dir.sh

        NOTE: Performed 8394 ASDL_TYPE_CHECKs.