equal
deleted
inserted
replaced
5 # DESCRIPTION: common settings for the isatest-* scripts |
5 # DESCRIPTION: common settings for the isatest-* scripts |
6 |
6 |
7 # source bashrc, we're called by cron |
7 # source bashrc, we're called by cron |
8 . ~/.bashrc |
8 . ~/.bashrc |
9 |
9 |
10 export SCALA_HOME="$HOME/lib/scala/current" |
10 export ISABELLE_JDK_HOME="$JAVA_HOME" |
11 export ISABELLE_JDK_HOME="$HOME/lib/jdk/jdk1.7.0_03" |
|
12 |
11 |
13 # canoncical home for all platforms |
12 # canoncical home for all platforms |
14 HOME=/home/isatest |
13 HOME=/home/isatest |
15 |
14 |
16 ## send email on failure to |
15 ## send email on failure to |