diff capnp/check.sh @ 92:21a8e341bb97

Merge
author Chris Cannam
date Thu, 19 Jan 2017 20:35:19 +0000
parents 2d4caf268062
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/capnp/check.sh	Thu Jan 19 20:35:19 2017 +0000
@@ -0,0 +1,14 @@
+#!/bin/bash
+
+mydir=$(dirname "$0")
+
+set -eu
+
+echo
+
+for c in "$mydir"/*.capnp ; do
+    echo "Checking $c..." 1>&2
+    capnpc -o- "$c" >/dev/null
+done
+
+echo OK