cronjob.sh revision 30b33e373538d0a63ed2fc7069cbf763e7de63d6
842ae4bd224140319ae7feec1872b93dfd491143fielding#!/bin/bash -x
842ae4bd224140319ae7feec1872b93dfd491143fielding
842ae4bd224140319ae7feec1872b93dfd491143fieldingPATH=/bin:/usr/bin:/usr/X11R6/bin:/home/linux-bkb/Isabelle/Isabelle2009/bin:/home/linux-bkb/bin
842ae4bd224140319ae7feec1872b93dfd491143fieldingUDG_HOME=/home/linux-bkb/uDrawGraph-3.1
842ae4bd224140319ae7feec1872b93dfd491143fieldingHETS_LIB=/local/home/maeder/haskell/Hets-lib
842ae4bd224140319ae7feec1872b93dfd491143fielding
dc9d4f49d36e64c0157d930cb22ca82a6291c0cbdgaudetexport PATH
ce9621257ef9e54c1bbe5ad8a5f445a1f211c2dcndexport HETS_LIB
dc9d4f49d36e64c0157d930cb22ca82a6291c0cbdgaudetexport CASL_LIB=$HETS_LIB
ce9621257ef9e54c1bbe5ad8a5f445a1f211c2dcnd
ce9621257ef9e54c1bbe5ad8a5f445a1f211c2dcndcd /tmp
ce9621257ef9e54c1bbe5ad8a5f445a1f211c2dcnd\rm -f eprover* formalDescription* tstp*
ce9621257ef9e54c1bbe5ad8a5f445a1f211c2dcndcd /local/home/maeder/haskell
ce9621257ef9e54c1bbe5ad8a5f445a1f211c2dcnd. ../cronjob.sh
dc9d4f49d36e64c0157d930cb22ca82a6291c0cbdgaudet
dc9d4f49d36e64c0157d930cb22ca82a6291c0cbdgaudetssh bigmac launchctl load /home/maeder/Library/LaunchAgents/makeHets.plist
ab5581cc78e9d865b0a6ab1404c53347b3276968rbbssh m18 /Users/Shared/maeder/haskell/job.sh &
024cd9589e52cf11ce765dfddb5b5f0c6e421a48gstein
024cd9589e52cf11ce765dfddb5b5f0c6e421a48gsteinmakeHets
024cd9589e52cf11ce765dfddb5b5f0c6e421a48gstein
024cd9589e52cf11ce765dfddb5b5f0c6e421a48gsteinssh bigmac date
b0f20a4a26bcfa85724b1c2e5ec6a077f12ef44crbb
2d71630471d1c23f0137309e3c3957c633ecbfd6rbbmakeLibCheck
dc9d4f49d36e64c0157d930cb22ca82a6291c0cbdgaudetinstallHetsBinary linux
e5c43448cda8c78e3d0cd8683aab2c907cc38362rpluemchgrp linuxbkb hets
dc9d4f49d36e64c0157d930cb22ca82a6291c0cbdgaudet\cp -fp hets /home/linux-bkb/hets/hets-latest/bin/
89211a3153be8b03353c3bfbca45fed67cb80f0bpquerna
dc9d4f49d36e64c0157d930cb22ca82a6291c0cbdgaudetcopyStyForCgi
dc9d4f49d36e64c0157d930cb22ca82a6291c0cbdgaudetlatexBasicLibraries
b501b72e4bfed12a431278217ba66ae531d9a293rbbcreateLogFiles
024cd9589e52cf11ce765dfddb5b5f0c6e421a48gstein
a742cbb3e85669473b3233f30e3978bb6a20083cylavicrunIsaBasic
a742cbb3e85669473b3233f30e3978bb6a20083cylavicrunSPASSBasic
a742cbb3e85669473b3233f30e3978bb6a20083cylaviccheckIsaOf Calculi/Time/AllenHayesLadkin_TACAS.het HC
a742cbb3e85669473b3233f30e3978bb6a20083cylaviccheckIsaOf Calculi/Space/RCCVerification.het HC2
a742cbb3e85669473b3233f30e3978bb6a20083cylavic
9591ec71b8911ecefbf6571333ff78fcb6efffa5jortoncheckBins
77e0c54d01cb01e700e939a78afa49a7aa1e2275pquernacheckCats
77e0c54d01cb01e700e939a78afa49a7aa1e2275pquernamakeSources
77e0c54d01cb01e700e939a78afa49a7aa1e2275pquerna
7184de27ec1d62a83c41cdeac0953ca9fd661e8csfcheckMoreBins
7184de27ec1d62a83c41cdeac0953ca9fd661e8csfmakeOWLTools
7184de27ec1d62a83c41cdeac0953ca9fd661e8csfrunIsaHS
36ef8f77bffe75d1aa327882be1b5bdbe2ff567asf
e8fcc872d5caeea36adb6511f9d1ab6ce3fbb5c0jerenkrantzmakeCofiLib
2261031aa94be82d7e6b1b8c367afc1b282317f5ianhrepackDocs
a742cbb3e85669473b3233f30e3978bb6a20083cylavic
a742cbb3e85669473b3233f30e3978bb6a20083cylavicmoreChecks
a742cbb3e85669473b3233f30e3978bb6a20083cylaviccheckEnvs
a742cbb3e85669473b3233f30e3978bb6a20083cylaviccheckPrfs
a742cbb3e85669473b3233f30e3978bb6a20083cylavicdate
a742cbb3e85669473b3233f30e3978bb6a20083cylavicupdateOMDoc
a742cbb3e85669473b3233f30e3978bb6a20083cylavic
a742cbb3e85669473b3233f30e3978bb6a20083cylaviccd /home/linux-bkb/twelf/twelf-mod
a742cbb3e85669473b3233f30e3978bb6a20083cylavicsvn up --force
a742cbb3e85669473b3233f30e3978bb6a20083cylavicsml build/twelf-server-smlnj.sml
a742cbb3e85669473b3233f30e3978bb6a20083cylavic