Differential D5002 Diff 21819 libraries/source/spidermonkey/build.sh

Changeset View

Standalone View

	#!/bin/sh			#!/bin/sh
	# This script is called by update-workspaces.sh / build-osx-libraries.sh			# This script is called by update-workspaces.sh / build-osx-libraries.sh
	set -e			set -e

	# This should match the version in config/milestone.txt			# This should match the version in config/milestone.txt
	FOLDER="mozjs-91.13.1"			FOLDER="mozjs-102.12.0"
	# If same-version changes are needed, increment this.			# If same-version changes are needed, increment this.
	LIB_VERSION="91.13.1+1"			LIB_VERSION="102.12.0+0"
	LIB_NAME="mozjs91-ps"			LIB_NAME="mozjs102-ps"

	# Since this script is called by update-workspaces.sh, we want to quickly			# Since this script is called by update-workspaces.sh, we want to quickly
	# avoid doing any work if SpiderMonkey is already built and up-to-date.			# avoid doing any work if SpiderMonkey is already built and up-to-date.
	# Running SM's Makefile is a bit slow and noisy, so instead we'll make a			# Running SM's Makefile is a bit slow and noisy, so instead we'll make a
	# special file and only rebuild if the build.sh version differs.			# special file and only rebuild if the build.sh version differs.
	if [ -e .already-built ] && [ "$(cat .already-built)" = "${LIB_VERSION}" ]			if [ -e .already-built ] && [ "$(cat .already-built)" = "${LIB_VERSION}" ]
	then			then
	echo "SpiderMonkey is already up to date."			echo "SpiderMonkey is already up to date."
	▲ Show 20 Lines • Show All 236 Lines • Show Last 20 Lines