#!/bin/sh
# This Source Code Form is subject to the terms of the Mozilla Public
# License, v. 2.0. If a copy of the MPL was not distributed with this
# file, You can obtain one at http://mozilla.org/MPL/2.0/.
# This script provides an execution environment for mozconfig scripts.
# This script is not meant to be called by users. Instead, some
# higher-level driver invokes it and parses the machine-tailored output.
set -e
ac_add_options() {
for _mozconfig_opt; do
echo "------BEGIN_AC_OPTION"
echo $_mozconfig_opt
echo "------END_AC_OPTION"
done
}
mk_add_options() {
for _mozconfig_opt; do
echo "------BEGIN_MK_OPTION"
echo $_mozconfig_opt
echo "------END_MK_OPTION"
done
}
echo "------BEGIN_ENV_BEFORE_SOURCE"
"$3" "$4"
echo "------END_ENV_BEFORE_SOURCE"
echo "------BEGIN_BEFORE_SOURCE"
set
echo "------END_BEFORE_SOURCE"
topsrcdir="$1"
. "$2"
unset topsrcdir
echo "------BEGIN_AFTER_SOURCE"
set
echo "------END_AFTER_SOURCE"
echo "------BEGIN_ENV_AFTER_SOURCE"
"$3" "$4"
echo "------END_ENV_AFTER_SOURCE"
¤ Dauer der Verarbeitung: 0.15 Sekunden
(vorverarbeitet)
¤
*© Formatika GbR, Deutschland
