Merge branch 'spns/34816'

[tools/sat.git] / sat

diff --git a/sat b/sat
index b162b7abf3fba1a18838825751386e67bd0a78d9..04bdd16d4bf8983f9a2c11e1485e5d5e86ca146a 100755 (executable)
--- a/sat
+++ b/sat
@@ -68,12 +68,7 @@ if __name__ == "__main__":
 
     # no Exception but may be known problem
     DBG.write("execute_cli return code", returnCode)
-    if returnCode.isOk():
-      # OK no trace
-      logger.step("sat exit code: %s" % returnCode)
-    else:
-      # KO warning as known problem have to say why
-      logger.warning("sat exit code: %s" % returnCode)
+    logger.step("sat exit code: %s" % returnCode)
     logger.close() # important to close logger
     sys.exit(returnCode.toSys())