| Submitter | Arnaud Charlet |
|---|---|
| Date | Oct. 11, 2010, 9:27 a.m. |
| Message ID | <20101011092716.GA11537@adacore.com> |
| Download | mbox | patch |
| Permalink | /patch/67396/ |
| State | New |
| Headers | show |
Comments
Patch
Index: make.adb =================================================================== --- make.adb (revision 165256) +++ make.adb (working copy) @@ -8115,7 +8115,7 @@ package body Make is or else Argv (2 .. Argv'Last) = "pg" or else (Argv (2) = 'm' and then Argv'Last > 2) or else (Argv (2) = 'f' and then Argv'Last > 2) - or else (Argv (2) = 'O' and then Argv'Last > 2) + or else Argv (2) = 'O' then Add_Switch (Argv, Compiler, And_Save => And_Save); Add_Switch (Argv, Linker, And_Save => And_Save);