mbed official / mbed-sdk-tools

Important changes to repositories hosted on mbed.com

Mbed hosted mercurial repositories are deprecated and are due to be permanently deleted in July 2026.

To keep a copy of this software download the repository Zip archive or clone locally using Mercurial.

It is also possible to export all your personal repositories from the account settings page.

Diff: options.py

Revision:
30:f12ce67666d0
Parent:
29:1210849dba19
Child:
31:8ea194f6145b
--- a/options.py	Mon Aug 29 11:18:36 2016 +0100
+++ b/options.py	Mon Aug 29 11:56:59 2016 +0100
@@ -75,9 +75,7 @@
                                   'run Goanna static code analyzer")'),
                             type=argparse_lowercase_hyphen_type(['save-asm',
                                                                  'debug-info',
-                                                                 'analyze',
-                                                                 'small-lib',
-                                                                 'std-lib'],
+                                                                 'analyze'],
                                                                 "build option"))
 
     return parser