Changeset 26767


Ignore:
Timestamp:
01/11/22 12:05:17 (3 years ago)
Author:
jdquinn
Message:

BUG: Timer for Windows build was broken

File:
1 edited

Legend:

Unmodified
Added
Removed

  • issm/trunk-jpl/jenkins/jenkins.sh

    r26763 r26767  
    377377                timer=0
    378378                max_time=3600
    379                 while [[ timer -lt ${max_time} && -n "${pid}" ]]; do
     379                while [[ $timer -lt $max_time && -n "${pid}" ]]; do
    380380                        pid=$(ps -W | grep MATLAB | awk '{print $1}')
    381381                        timer=$((timer + 1))
Note: See TracChangeset for help on using the changeset viewer.