webkitgtk-2.16.5HEADwebkitgtk-2.16.5master

1 files changed, 18 insertions, 0 deletions

diff --git a/Source/JavaScriptCore/postprocess-headers.sh b/Source/JavaScriptCore/postprocess-headers.sh
new file mode 100755
index 000000000..c8618437d
--- /dev/null
+++ b/Source/JavaScriptCore/postprocess-headers.sh
@@ -0,0 +1,18 @@
+cd "${TARGET_BUILD_DIR}/${PUBLIC_HEADERS_FOLDER_PATH}"
+
+UNIFDEF_OPTIONS="-D__MAC_OS_X_VERSION_MIN_REQUIRED=${TARGET_MAC_OS_X_VERSION_MAJOR}"
+
+for ((i = 0; i < ${SCRIPT_INPUT_FILE_COUNT}; ++i)); do
+    eval HEADER=\${SCRIPT_INPUT_FILE_${i}};
+    unifdef -B ${UNIFDEF_OPTIONS} -o "${HEADER}".unifdef "${HEADER}"
+    case $? in
+    0)
+        rm "${HEADER}".unifdef
+        ;;
+    1)
+        mv "${HEADER}"{.unifdef,}
+        ;;
+    *)
+        exit 1
+    esac
+done