diff --git a/Embedded/minify-all.sh b/Embedded/minify-all.sh index 6d6ab25..a314e87 100755 --- a/Embedded/minify-all.sh +++ b/Embedded/minify-all.sh @@ -1,9 +1,17 @@ #!/bin/bash +echo vt100.lua lua minify.lua vt100.lua mini-vt100.lua +echo init-wrapper.lua lua minify.lua init-wrapper.lua mini-init-wrapper.lua +echo microtel-3.lua lua minify.lua microtel/microtel-3.lua microtel/mini-microtel-3.lua +echo microtel-4.lua lua minify.lua microtel/microtel-4.lua microtel/mini-microtel-4.lua +echo microtel-5-core.lua lua minify.lua microtel/microtel-5-core.lua microtel/mini-microtel-5-core.lua +echo microtel-5-listen.lua lua minify.lua microtel/microtel-5-listen.lua microtel/mini-microtel-5-listen.lua +echo microtel-5-flisten.lua lua minify.lua microtel/microtel-5-flisten.lua microtel/mini-microtel-5-flisten.lua +echo microtel-5-open.lua lua minify.lua microtel/microtel-5-open.lua microtel/mini-microtel-5-open.lua diff --git a/Embedded/minify.lua b/Embedded/minify.lua index 93bde2f..8a29500 100644 --- a/Embedded/minify.lua +++ b/Embedded/minify.lua @@ -33,8 +33,6 @@ local replacements={ {"%-%-.-\n",""}, } -dprint("Loading replacements...") - local initr = #replacements local fmin = io.open(minfile,"rb")