diff options
Diffstat (limited to 'jjb/lab')
| -rw-r--r-- | jjb/lab/include-raw-lab-retrieve-logs.sh | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/jjb/lab/include-raw-lab-retrieve-logs.sh b/jjb/lab/include-raw-lab-retrieve-logs.sh index 6335e49d7..2e51d359c 100644 --- a/jjb/lab/include-raw-lab-retrieve-logs.sh +++ b/jjb/lab/include-raw-lab-retrieve-logs.sh @@ -6,4 +6,9 @@ echo Retriving logs from $LOG_DIR_URL rm -rf archives wget -r -nv -nd --no-parent -l 1 --reject="index.html*" -P archives "$LOG_DIR_URL" -cat archives/console.log +curl -f "$SRC_BUILD_URL/timestamps?time=HH:mm:ssZ&appendLog" > archives/console-timestamp.log +if [ -s archives/console-timestamp.log ]; then + cat archives/console-timestamp.log +else + cat archives/console.log +fi |