4510 - check manual examples in CI

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