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