diff --git a/sched/make_work.C b/sched/make_work.C
index e4084b7e7e..6a81ba495e 100644
--- a/sched/make_work.C
+++ b/sched/make_work.C
@@ -191,6 +191,7 @@ void make_work() {
         sprintf(buf, "added result: %s_%s\n", wu.name, suffix);
         write_log(buf);
         nresults_left--;
+        check_stop_trigger();
     }
 }
 
@@ -204,6 +205,8 @@ int main(int argc, char** argv) {
             asynch = true;
         } else if (!strcmp(argv[i], "-cushion")) {
             cushion = atoi(argv[++i]);
+        } else if (!strcmp(argv[i], "-redundancy")) {
+            redundancy = atoi(argv[++i]);
         } else if (!strcmp(argv[i], "-result_template")) {
             strcpy(result_template_file, argv[++i]);
         } else if (!strcmp(argv[i], "-wu_name")) {