about summary refs log tree commit diff stats
path: root/subx
diff options
context:
space:
mode:
authorKartik Agaram <vc@akkartik.com>2018-08-12 19:13:48 -0700
committerKartik Agaram <vc@akkartik.com>2018-08-12 19:15:14 -0700
commitc519b6fe9e9ac89173c0cf4170c7725ea09e2d6e (patch)
treea2fb467b58550495b5d9a4823fc5f5db7908ab33 /subx
parente0f4f827dde0bfecf0febcef7e0767c044c42b4c (diff)
downloadmu-c519b6fe9e9ac89173c0cf4170c7725ea09e2d6e.tar.gz
4510 - check manual examples in CI
Diffstat (limited to 'subx')
-rwxr-xr-xsubx/test_layers12
1 files changed, 12 insertions, 0 deletions
diff --git a/subx/test_layers b/subx/test_layers
index e198a8d0..4ba619a5 100755
--- a/subx/test_layers
+++ b/subx/test_layers
@@ -1,9 +1,21 @@
 #!/bin/bash
 # Repeatedly stop building until successive layers, and run all tests built.
 
+set -e
+
 cd `dirname $0`
 for f in [0-9]*
 do
   echo "=== $f"
   ./build_and_test_until $f  ||  exit 1
 done
+
+clean top
+for f in ex*.subx
+do
+  echo checking $f
+  target=`echo $f |sed 's/\..*//'`
+  CFLAGS=-g ./subx translate $f $target
+  git diff --quiet $target  ||  exit 1
+  echo $target generated as expected
+done