Merge branch 'master' into dquotes

1 files changed, 3 insertions, 3 deletions

diff --git a/subx/test_layers b/subx/test_layers
index a2ed65c6..688a5a99 100755
--- a/subx/test_layers
+++ b/subx/test_layers
@@ -21,11 +21,11 @@ CFLAGS=$CFLAGS ./build  # build optimized by default since we'll be running it r
 for f in [0-9]*.subx
 do
   echo "=== $f"
-  ./subx translate $(../enumerate/enumerate --until $f |grep '\.subx$') -o foo  &&  ./subx run foo
+  ./subx translate $(../enumerate/enumerate --until $f |grep '\.subx$') -o a.elf  &&  ./subx run a.elf
   echo
   test `uname` = 'Linux'  &&  {
-    chmod +x foo
-    ./foo
+    chmod +x a.elf
+    ./a.elf
     echo
   } || true
 done