diff options
-rwxr-xr-x | subx/test_layers | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/subx/test_layers b/subx/test_layers index b1a2b3a6..fa801c10 100755 --- a/subx/test_layers +++ b/subx/test_layers @@ -13,9 +13,8 @@ done ./clean top for f in examples/ex*.subx apps/*.subx do - echo checking $f + echo $f target=`echo $f |sed 's/\..*//'` CFLAGS=-g ./subx translate $f -o $target git diff --quiet $target || exit 1 - echo $target generated as expected done |