diff --git a/tools/testing.sh b/tools/testing.sh index 7b24d0e0dbd66b1b4b0dae943f1716fb2b29b15b..92c4ccf52aa275bc2271a940c9376418f37517ab 100755 --- a/tools/testing.sh +++ b/tools/testing.sh @@ -68,6 +68,7 @@ enableghpages=1 perfopt="" docgen=1 +allargs="$@" while [ -n "$1" ]; do case "$1" in '-h') usage; exit;; @@ -269,8 +270,8 @@ if [ ${force} -eq 1 -o $(get_statuses "${SHA}" | grep "${context}" | wc -l) -eq cd "${currentdir}" if [ -f "${WORKDIR}/PHYEX/tools/testing.sh" ]; then if [ "${currentMD5}" != $(md5sum "${WORKDIR}/PHYEX/tools/testing.sh" | cut -d\ -f1) ]; then - log 1 "Script has changed, running the new version" #This log and the preivous ones are lost - exec "${WORKDIR}/PHYEX/tools/testing.sh" $@ + log 1 "Script has changed, running the new version" #This log and the previous ones are lost + exec "${WORKDIR}/PHYEX/tools/testing.sh" $allargs fi fi fi