view capnp/check.sh @ 202:cd09c8b676ab

Fix id fields not updated after previous renaming.
author Lucas Thompson <dev@lucas.im>
date Mon, 20 Feb 2017 15:01:17 +0000
parents 549d3d44d729
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