diff options
| -rwxr-xr-x | deploy_everywhere | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/deploy_everywhere b/deploy_everywhere index 4ca6bdc1..6e1c3997 100755 --- a/deploy_everywhere +++ b/deploy_everywhere @@ -141,16 +141,6 @@ for i in $HOSTS ; do done echo -### not needed anymore as we now always output the jenkins.d.n log… -#if [ -f ./update_jdn.sh ] ; then -# rgrep FI[X]ME * | grep -v echo > $LOG || true -# if [ -s $LOG ] ; then -# cat $LOG -# echo -# fi -# rm $LOG >/dev/null -#fi - END=$(date +'%s') DURATION=$(( $END - $START )) HOUR=$(echo "$DURATION/3600"|bc) |