From 51085a641247974fdae1d671f721773e989bc344 Mon Sep 17 00:00:00 2001 From: Dimitris Papagiannis Date: Mon, 1 Jul 2024 11:23:06 +0200 Subject: [PATCH] Skip extracting ROOT if already built --- deploy_dqmgui.sh | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/deploy_dqmgui.sh b/deploy_dqmgui.sh index 0652c3a..fd57d3e 100755 --- a/deploy_dqmgui.sh +++ b/deploy_dqmgui.sh @@ -630,6 +630,10 @@ install_jsroot() { # Extract the ROOT tar to a tmp folder for compilation install_root() { + if source "$ROOT_INSTALLATION_DIR/bin/thisroot.sh"; then + echo "INFO: ROOT installation found, not re-compiling ROOT" + return + fi mkdir -p $ROOT_TMP_DIR tar -xzf "$SCRIPT_DIR/root/root.tar.gz" -C "${ROOT_TMP_DIR}" }