Changeset 16667
- Timestamp:
- 11/07/13 15:36:43 (12 years ago)
- File:
-
- 1 edited
-
issm/trunk-jpl/jenkins/jenkins.sh (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
-
issm/trunk-jpl/jenkins/jenkins.sh
r16666 r16667 140 140 echo " ERROR: installation of $PACKAGENAME failed "; 141 141 echo "======================================================"; 142 #erase install directory, so that next time, we still try and compile this! 143 rm -rf install 142 144 fi 143 145 source $ISSM_DIR/etc/environment.sh
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)