diff options
Diffstat (limited to 'Source/JavaScriptCore/make-generated-sources.sh')
| -rwxr-xr-x | Source/JavaScriptCore/make-generated-sources.sh | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/Source/JavaScriptCore/make-generated-sources.sh b/Source/JavaScriptCore/make-generated-sources.sh new file mode 100755 index 000000000..b9e19e79e --- /dev/null +++ b/Source/JavaScriptCore/make-generated-sources.sh @@ -0,0 +1,13 @@ +#!/bin/sh + +export SRCROOT=$PWD +export WebCore=$PWD +export CREATE_HASH_TABLE="$SRCROOT/create_hash_table" +export CREATE_REGEXP_TABLES="$SRCROOT/create_regex_tables" +export CREATE_KEYWORD_LOOKUP="$SRCROOT/KeywordLookupGenerator.py" + +mkdir -p DerivedSources/JavaScriptCore +cd DerivedSources/JavaScriptCore + +make -f ../../DerivedSources.make JavaScriptCore=../.. BUILT_PRODUCTS_DIR=../.. +cd ../.. |