Set $JAVA_HOME for openjdk12 on CentOS7

[releng/global-jjb.git] / shell / cmake-stage.sh

diff --git a/shell/cmake-stage.sh b/shell/cmake-stage.sh
index 5b67edc..b91d6e1 100644 (file)
--- a/shell/cmake-stage.sh
+++ b/shell/cmake-stage.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/bin/bash -l
 # SPDX-License-Identifier: EPL-1.0
 ##############################################################################
 # Copyright (c) 2018 The Linux Foundation and others.