Changeset 12772
- Timestamp:
- 02.11.2009 17:47:24 (3 weeks ago)
- Files:
-
- 1 modified
-
trunk/utils/nightly/pc-solaris/cronjob.sh (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
-
trunk/utils/nightly/pc-solaris/cronjob.sh
r12471 r12772 46 46 checkEnvs 47 47 checkHpfs 48 ssh denebola "(cd /tmp; \rm -f eprover* formalDescription* tstp* *.tptp)"