diff options
Diffstat (limited to 'build/org.eclipse.cdt.managedbuilder.gnu.ui/plugin.properties')
-rw-r--r-- | build/org.eclipse.cdt.managedbuilder.gnu.ui/plugin.properties | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/build/org.eclipse.cdt.managedbuilder.gnu.ui/plugin.properties b/build/org.eclipse.cdt.managedbuilder.gnu.ui/plugin.properties index e9caf25062a..45ccc47f9c2 100644 --- a/build/org.eclipse.cdt.managedbuilder.gnu.ui/plugin.properties +++ b/build/org.eclipse.cdt.managedbuilder.gnu.ui/plugin.properties @@ -123,6 +123,7 @@ Option.Posix.Optimize.None=None (-O0) Option.Posix.Optimize.Optimize=Optimize (-O1) Option.Posix.Optimize.More=Optimize more (-O2) Option.Posix.Optimize.Most=Optimize most (-O3) +Option.Posix.Optimize.Size=Optimize for size (-Os) Option.Posix.Optimize.Flags=Other optimization flags Option.Posix.DebugLevel=Debug Level |