petit correctif suite à discussion

[tools/sat.git] / src / compilation.py

diff --git a/src/compilation.py b/src/compilation.py
index 7eb5071943383b9dbbbf625ccb8cdf8c81394109..b8b8ce0cf8150b24ff76340da35da6ebbb019baf 100644 (file)
--- a/src/compilation.py
+++ b/src/compilation.py
@@ -284,7 +284,7 @@ CC=\\"hack_libtool\\"%g" libtool'''
     ##
     # Runs 'make install'.
     def install(self):
-        if self.config.VARS.dist_name==distrib_cfg.DISTRIBUTIONS["Windows"]:
+        if src.architecture.is_windows():
             command = 'msbuild INSTALL.vcxproj'
             if self.debug_mode:
                 command = command + " /p:Configuration=Debug  /p:Platform=x64 "