diff 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/check.sh	Thu Jan 19 20:35:19 2017 +0000
@@ -0,0 +1,8 @@
+#!/bin/bash
+
+mydir=$(dirname "$0")
+
+set -eu
+
+"$mydir"/capnp/check.sh
+"$mydir"/json/check.sh