diff --git a/make/configure.py b/make/configure.py
index e37be490c2ca..c2ff019d932a 100644
--- a/make/configure.py
+++ b/make/configure.py
@@ -6,8 +6,6 @@
 ##
 ###############################################################################
 
-set CL=/D_WIN32_WINNT=0x0600 /DWINVER=0x0600 %CL%
-
 import fnmatch
 import glob
 import json
@@ -25,6 +23,8 @@
 from sys import stderr
 from sys import stdout
 
+os.environ["CL"] = "/D_WIN32_WINNT=0x0600 /DWINVER=0x0600 " + os.environ.get("CL", "")
+
 class AbortError( Exception ):
     def __init__( self, format, *args ):
         self.value = format % args