diff options
author | Kartik Agaram <vc@akkartik.com> | 2018-09-30 23:13:04 -0700 |
---|---|---|
committer | Kartik Agaram <vc@akkartik.com> | 2018-09-30 23:13:04 -0700 |
commit | 79c7700b4080108ea6e4379915160e4f836505a9 (patch) | |
tree | dc2df39ebf44fb00b3a5d45ee4612bac7ea5640f /subx/test_layers | |
parent | 1dcd9350ce975fb05ed99a5ffc864b0d65c8bab3 (diff) | |
download | mu-79c7700b4080108ea6e4379915160e4f836505a9.tar.gz |
4625
Diffstat (limited to 'subx/test_layers')
-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 |