Skip to content

Instantly share code, notes, and snippets.

@jbergstroem
Created May 10, 2016 22:35
Show Gist options
  • Select an option

  • Save jbergstroem/6272ffc67cf569722d995e47c90082d4 to your computer and use it in GitHub Desktop.

Select an option

Save jbergstroem/6272ffc67cf569722d995e47c90082d4 to your computer and use it in GitHub Desktop.
diff --git configure configure
index 983ae07..59e5933 100755
--- configure
+++ configure
@@ -1230,6 +1230,9 @@ config = {
'PYTHON': sys.executable,
}
+if options.with_intl == 'none':
+ config['DISABLE_V8_I18N'] = "1"
+
if options.prefix:
config['PREFIX'] = options.prefix
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment