Changeset 21196
- Timestamp:
 - 09/07/16 12:14:02 (9 years ago)
 - File:
 - 
      
- 1 edited
 
- 
          
  issm/trunk-jpl/jenkins/jenkins.sh (modified) (1 diff)
 
 
Legend:
- Unmodified
 - Added
 - Removed
 
- 
      
issm/trunk-jpl/jenkins/jenkins.sh
r21195 r21196 143 143 echo "======================================================"; 144 144 145 ./$PACKAGEINST > compil.log145 ./$PACKAGEINST &> compil.log 146 146 if [ $? -ne 0 ]; then 147 147 echo "======================================================";  
  Note:
 See   TracChangeset
 for help on using the changeset viewer.
  ![(please configure the [header_logo] section in trac.ini)](/trac/issm/chrome/common/trac_banner.png)