Remove some old cruft.

2016-09-20 11:24:18 +02:00
parent e4723e0bad
commit d71db2978e
4 changed files with 10 additions and 160 deletions
@@ -298,7 +298,7 @@ void do_files(int i, int argc, char *argv[])
            unlink_ofile(oname);
            if (opt->verbose >= 1 || (opt->verbose >= 0 && !e.isWarning()))
                printErr(iname,&e);
-            set_ec(e.isWarning() ? EXIT_WARN : EXIT_ERROR);
+            set_exit_code(e.isWarning() ? EXIT_WARN : EXIT_ERROR);
        } catch (const Error &e) {
            unlink_ofile(oname);
            printErr(iname,&e);