Revision 1922ba70a749b70c41e3dc62c505314441ff1723 authored by martindholmes on 25 October 2022, 23:58:36 UTC, committed by martindholmes on 25 October 2022, 23:58:36 UTC
1 parent c35cf21
Raw File
check.sh
#!/bin/sh
onvdl examples.nvdl $1 \
 | grep -v ': error: unfinished element$' \
 | grep -v ': error: unfinished element .* required to finish the element$'
back to top