4647 - support 64-bit Linux in CI

Generated 32-bit binaries are different on 64-bit.
So let's compare them only on a 32-bit platform.
And let's start also verifying their run-time behavior on Linux.

1 files changed, 0 insertions, 16 deletions

diff --git a/subx/test_layers b/subx/test_layers
index 2afa6dab..ea0a9273 100755
--- a/subx/test_layers
+++ b/subx/test_layers
@@ -9,19 +9,3 @@ do
   echo "=== $f"
   ./build_and_test_until $f  ||  exit 1
 done
-
-./clean top
-for f in examples/*.subx
-do
-  echo $f
-  target=`echo $f |sed 's/\..*//'`
-  CFLAGS=-g ./subx translate $f -o $target
-  git diff --quiet $target  ||  exit 1
-done
-for f in apps/*.subx
-do
-  echo $f
-  target=`echo $f |sed 's/\..*//'`
-  CFLAGS=-g ./subx translate *.subx $f -o $target
-  git diff --quiet $target  ||  exit 1
-done