Revision d8fd965a3c8682f7e05571a6d60cc0a9e6ca5516 authored by Peter Stadler on 21 October 2022, 08:40:58 UTC, committed by Peter Stadler on 21 October 2022, 08:40:58 UTC
1 parent ea56bc6
check.sh
#!/bin/sh
onvdl examples.nvdl $1 \
| grep -v ': error: unfinished element$' \
| grep -v ': error: unfinished element .* required to finish the element$'
Computing file changes ...
