Don't run in Docker container for Jenkins build.
Change-Id: I5c2ac7309c4fadddfb83af7eb7f2dda4bf33113b
diff --git a/kokoro/build.sh b/kokoro/build.sh
index 0105980..5684298 100755
--- a/kokoro/build.sh
+++ b/kokoro/build.sh
@@ -20,13 +20,20 @@
init_build
# Assign default values to variables.
-if is_kokoro_build || is_jenkins_build
+if is_kokoro_build
then
# Default config for Kokoro builds.
default_value HAFNIUM_HERMETIC_BUILD true
default_value HAFNIUM_SKIP_LONG_RUNNING_TESTS false
default_value HAFNIUM_RUN_ALL_QEMU_CPUS true
default_value USE_TFA true
+elif is_jenkins_build
+then
+ # Default config for Jenkins builds.
+ default_value HAFNIUM_HERMETIC_BUILD false
+ default_value HAFNIUM_SKIP_LONG_RUNNING_TESTS false
+ default_value HAFNIUM_RUN_ALL_QEMU_CPUS true
+ default_value USE_TFA true
else
# Default config for local builds.
default_value HAFNIUM_HERMETIC_BUILD false
