Added listing ide support to export. Note this depends on ARMmbed/mbed-os#3993

Author: mbartling

mbed/mbed.py

@@ -2326,7 +2326,7 @@ def test_(toolchain=None, target=None, compile_list=False, run_list=False, compi
     dict(name=['-m', '--target'], help='Export for target MCU. Example: K64F, NUCLEO_F401RE, NRF51822...'),
     dict(name='--source', action='append', help='Source directory. Default: . (current dir)'),
     dict(name=['-c', '--clean'], action='store_true', help='Clean the build directory before compiling'),
-    dict(name=['-S', '--supported'], dest='supported', action='store_true', help='Shows supported matrix of targets and toolchains'),
+    dict(name=['-S', '--supported'], dest='supported', const="matrix", choices=["matrix", "ides"], nargs="?", help='Shows supported matrix of targets and toolchains'),
     help='Generate an IDE project',
     description=(
         "Generate IDE project files for the current program."))
@@ -2347,7 +2347,7 @@ def export(ide=None, target=None, source=False, clean=False, supported=False):
 
     if supported:
         popen(['python', '-u', os.path.join(tools_dir, 'project.py')]
-              + (['-S'] if supported else []) + (['-v'] if very_verbose else []),
+              + (['-S', supported] if supported else []) + (['-v'] if very_verbose else []),
               env=env)
         return