diff options
| -rw-r--r-- | src/ortho/debug/ortho_debug-main.adb | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/ortho/debug/ortho_debug-main.adb b/src/ortho/debug/ortho_debug-main.adb index b470deaab..ee839415e 100644 --- a/src/ortho/debug/ortho_debug-main.adb +++ b/src/ortho/debug/ortho_debug-main.adb @@ -63,6 +63,9 @@ begin elsif Argument (I)'Length >= 2 and then Argument (I)(2) = 'g' then -- Skip -g[XXX] flags. I := I + 1; + elsif Argument (I)'Length >= 2 and then Argument (I)(2) = 'O' then + -- Skip -O[XXX] flags. + I := I + 1; elsif Argument (I) = "-o" and then I + 1 <= Argc then -- TODO: write the output to the file ? if Output /= NULL_Stream then |