![(please configure the [header_logo] section in trac.ini)](/trac/issm/chrome/common/trac_banner.png)
Changeset 16673
- Timestamp:
- 11/07/13 17:23:19 (11 years ago)
- File:
-
- 1 edited
-
issm/trunk-jpl/jenkins/execute_shell (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
-
issm/trunk-jpl/jenkins/execute_shell
r16622 r16673 8 8 configfile=linux64_murdo 9 9 elif [[ $Platform == "imac-012301-gil" ]]; then 10 configfile=imac 10 configfile=imac-012301-gil 11 11 elif [[ $Platform == "larsen" ]]; then 12 12 configfile=linux64_larsen
Note:
See TracChangeset
for help on using the changeset viewer.
