diff --git a/exec/filelist.js b/exec/filelist.js index efe62f9d6e638067f142ec839c741e1e56a2b9f0..0c86c0fffc8bf282533da870d08784722ac404fe 100755 --- a/exec/filelist.js +++ b/exec/filelist.js @@ -156,10 +156,6 @@ for(var i = 0; i < argc; i++) { json_space = parseInt(opt.slice(5), 10); continue; } - if(opt == "arc") { - fmt = "arc"; - continue; - } if(opt.indexOf("fmt=") == 0) { fmt = opt.slice(4); continue;