From 0bc68ee21058f6e436888bc816f23a28b77644f9 Mon Sep 17 00:00:00 2001 From: Pierre Gueth Date: Wed, 5 Dec 2012 15:30:08 +0100 Subject: [PATCH] root merge warning to error --- cluster_tools/gate_power_merge.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/cluster_tools/gate_power_merge.sh b/cluster_tools/gate_power_merge.sh index 44a41c0..2ffad4b 100755 --- a/cluster_tools/gate_power_merge.sh +++ b/cluster_tools/gate_power_merge.sh @@ -130,7 +130,7 @@ do let count++ local arguments=" -i ${partial} ${arguments}" done -${rootMerger} ${arguments} > /dev/null || warning "error while calling ${rootMerger}" +${rootMerger} ${arguments} > /dev/null || error "error while calling ${rootMerger}" echo " ${indent}merged ${count} files" } @@ -379,7 +379,7 @@ function merge_dispatcher { error "unknown file type" } -echo "!!!! this is $0 v0.3j !!!!" +echo "!!!! this is $0 v0.3k !!!!" rundir="${1?"provide run dir"}" rundir="$(echo "${rundir}" | sed 's|/*$||')" -- 2.47.1