aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorYi He <yi.he@arm.com>2016-09-28 13:09:24 +0000
committerAnders Roxell <anders.roxell@linaro.org>2016-10-06 08:58:49 +0200
commit00639ed076e493120695c9e43188bb67786b205f (patch)
tree27e90ea3e149819470e89e60001874fc20f72576
parent1410919edd500ee9191bc352e0df205a969b1b9a (diff)
downloadcheck-odp-00639ed076e493120695c9e43188bb67786b205f.tar.gz
helper/generic: build option to select scheduler impl
Signed-off-by: Yi He <yi.he@linaro.org> Signed-off-by: Anders Roxell <anders.roxell@linaro.org>
-rw-r--r--helper/generic7
1 files changed, 7 insertions, 0 deletions
diff --git a/helper/generic b/helper/generic
index 09f03b3..bd7a465 100644
--- a/helper/generic
+++ b/helper/generic
@@ -15,6 +15,7 @@ export DSTDIR="--prefix=${GLOBAL_DSTDIRPATH}"
export CHECK_TARBALL="${CHECK_TARBALL:-0}"
export DEBUG_SCRIPT="${DEBUG_SCRIPT:-0}"
export ENABLE_DEBUG="${ENABLE_DEBUG:-0}"
+export SCHEDULER="${SCHEDULER:-"default"}"
# Print debug messages, set DEBUG_SCRIPT to 0 if not required
isdebug() {
@@ -55,6 +56,11 @@ if [[ ${ENABLE_DEBUG} -eq 1 ]]; then
export CONFIGURE_FLAGS="${CONFIGURE_FLAGS} --enable-debug-print --enable-debug"
fi
+isdebug echo "helper/generic: before SCHEDULER: ${SCHEDULER}"
+if [[ ${SCHEDULER} != "default" ]]; then
+ export CONFIGURE_FLAGS="${CONFIGURE_FLAGS} --enable-schedule-${SCHEDULER}"
+fi
+
mkdir -p ${SRCDIR}
mkdir -p ${BUILDDIR}
mkdir -p ${LOGDIR}
@@ -86,6 +92,7 @@ common_usage() {
echo -e "\tSUDO:\t\t set to 1 to enable sudo before make check, default: 0"
echo -e "\tDEBUG_SCRIPT:\t set to 1 to enable debug output from the script, default: 0"
echo -e "\tENABLE_DEBUG:\t enable debug prints, default: 0"
+ echo -e "\tSCHEDULER:\t which scheduler impl to use: [default|sp]"
}
display_os(){