diff --git a/MiniScript-cpp/src/main.cpp b/MiniScript-cpp/src/main.cpp index 2a27d00..be8a81b 100644 --- a/MiniScript-cpp/src/main.cpp +++ b/MiniScript-cpp/src/main.cpp @@ -317,6 +317,7 @@ int main(int argc, const char * argv[]) { AddScriptPathVar(arg.c_str()); int rc = DoScriptFile(interp, arg); if (!launchReplAfterScript) return rc; + break; } else { PrintHeaderInfo(); return ReturnErr(String("Unknown option: ") + arg);