diff options
Diffstat (limited to 'tools/treeshake_all')
| -rwxr-xr-x | tools/treeshake_all | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/tools/treeshake_all b/tools/treeshake_all index 58efcf1a..611231fe 100755 --- a/tools/treeshake_all +++ b/tools/treeshake_all @@ -46,6 +46,7 @@ do diff apps/$app a.elf done -echo mu.subx -tools/test_treeshake_translate init.$OS [0-9]*.subx apps/mu.subx -diff apps/mu a.elf +app=mu +echo $app +tools/test_treeshake_translate init.$OS [0-9]*.subx apps/$app.subx +diff apps/$app a.elf |