view 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 source
#!/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