1 files changed, 2 insertions, 0 deletions
diff --git a/src/main.cpp b/src/main.cpp
index f65b3c67..2ffab7e8 100644
--- a/src/main.cpp
+++ b/src/main.cpp
@@ -539,6 +539,8 @@ ProgramParams::ProgramParams(int argc, char *argv[])
                     this->last_stage = STAGE_RESOLVE;
                 else if( strcmp(arg, "mir") == 0 )
                     this->last_stage = STAGE_MIR;
+                else if( strcmp(arg, "ALL") == 0 )
+                    this->last_stage = STAGE_ALL;
                 else {
                     ::std::cerr << "Unknown argument to --stop-after : '" << arg << "'" << ::std::endl;
                     exit(1);