sat #32534 : warning if the application is used on a not supported platform, and...

[tools/sat.git] / commands / compile.py

diff --git a/commands/compile.py b/commands/compile.py
index 043706be41529c8466792418f64aa34b88a63b1c..af2d2745717595dd9d9423aa9afcc527a0a3c3c4 100644 (file)
--- a/commands/compile.py
+++ b/commands/compile.py
@@ -720,6 +720,9 @@ def run(args, runner, logger):
     # check that the command has been called with an application
     src.check_config_has_application( runner.cfg )
 
+    # write warning if platform is not declared as supported
+    src.check_platform_is_supported( runner.cfg, logger )
+
     # Print some informations
     logger.write(_('Executing the compile commands in the build '
                                 'directories of the products of '