diff --git a/.CI/Jenkinsfile b/.CI/Jenkinsfile index cd742c4..e08f473 100644 --- a/.CI/Jenkinsfile +++ b/.CI/Jenkinsfile @@ -584,15 +584,15 @@ SEPARATOR='/' HISTORY_FILE='00_history.html' for b in ${env.GITBRANCHES} ${env.GITBRANCHES_FMI} ${env.GITBRANCHES_NEWINST} ${env.GITBRANCHES_DAE} ${env.GITBRANCHES_CPP}; do - BRANCH=`echo \${b} | cut -d '/' -f2` - FILE="\${HISTORY_DIRECTORY}\${BRANCH}\${SEPARATOR}\${HISTORY_FILE}" - ssh hudson@build.openmodelica.org << EOF - if [ ! -f \${FILE} ]; then - echo "Creating initial history: library.openmodelica.org: \${FILE}" - mkdir -p \${HISTORY_DIRECTORY}\${BRANCH} - touch \${FILE} - fi - EOF + BRANCH=`echo \${b} | cut -d '/' -f2` + FILE="\${HISTORY_DIRECTORY}\${BRANCH}\${SEPARATOR}\${HISTORY_FILE}" +ssh hudson@build.openmodelica.org << EOF +if [ ! -f \${FILE} ]; then + echo "Creating initial history: library.openmodelica.org: \${FILE}" + mkdir -p \${HISTORY_DIRECTORY}\${BRANCH} + touch \${FILE} +fi +EOF done """ }