diff --git a/tools/scribe/src/main.cpp b/tools/scribe/src/main.cpp index e71b21f32b..e69d927941 100755 --- a/tools/scribe/src/main.cpp +++ b/tools/scribe/src/main.cpp @@ -42,6 +42,7 @@ int main (int argc, char** argv) { GRAB_TARGET_NAME, EXIT, } mode = READY; + for (int ii = 1; (mode != EXIT) && (ii < argc); ii++) { inputs.push_back(argv[ii]);