nodejs
diff --git a/Collapse file
‎configure.py‎
Copy file name to clipboardExpand all lines: configure.py
+7Lines changed: 7 additions & 0 deletions b/Collapse file
‎configure.py‎
Copy file name to clipboardExpand all lines: configure.py
+7Lines changed: 7 additions & 0 deletions
@@ -122,6 +122,12 @@
     default=None,
     help='force build to be considered as NOT cross compiled')
 
+parser.add_argument('--use-prefix-to-find-headers',
+    action='store_true',
+    dest='use_prefix_to_find_headers',
+    default=None,
+    help='use the prefix to look for pre-installed headers')
+
 parser.add_argument('--dest-os',
     action='store',
     dest='dest_os',
@@ -1249,6 +1255,7 @@ def configure_node(o):
   o['variables']['debug_node'] = b(options.debug_node)
   o['default_configuration'] = 'Debug' if options.debug else 'Release'
   o['variables']['error_on_warn'] = b(options.error_on_warn)
+  o['variables']['use_prefix_to_find_headers'] = b(options.use_prefix_to_find_headers)
 
   host_arch = host_arch_win() if os.name == 'nt' else host_arch_cc()
   target_arch = options.dest_cpu or host_arch