Revision 13b1a9a05a23efee45003a2147e181edcfcff8af authored by Syd Bauman on 09 July 2024, 21:37:20 UTC, committed by Syd Bauman on 09 July 2024, 21:37:20 UTC
check.sh
#!/bin/sh
onvdl examples.nvdl $1 \
| grep -v ': error: unfinished element$' \
| grep -v ': error: unfinished element .* required to finish the element$'
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...