diff options
| -rwxr-xr-x | scripts/mkimport | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/scripts/mkimport b/scripts/mkimport index 9ea224a..0be0847 100755 --- a/scripts/mkimport +++ b/scripts/mkimport @@ -480,15 +480,6 @@ local import_file = function (name, kind, def, cat) end --[[ [local import_file = function (name, kind)] ]] local import = function (arg) - if #arg > 1 then - local tgt = parms.target - local name = tgt or die ("invalid filename " .. tostring (tgt)) - local stat = import_file (name) - if stat == import_failed then - die ("failed to import file " .. name) - end - status ("import status for file %s: %s", name, import_status[stat]) - end --- Multiple files local statcount = { } -- import status codes -> size_t for cat, defs in next, imports do |