Changeset 12772

Timestamp:

02.11.2009 17:47:24 (3 weeks ago)

Author:

maeder

Message:

clean up /tmp on denebola filled by mathServe

Files:

• trunk/utils/nightly/pc-solaris/cronjob.sh (modified) (1 diff)

trunk/utils/nightly/pc-solaris/cronjob.sh

@@ -46 +46 @@
 checkEnvs
 checkHpfs
+ssh denebola "(cd /tmp; \rm -f eprover* formalDescription* tstp* *.tptp)"