buildRelease.sh 645 Bytes
Newer Older
1
#!/bin/sh
2
echo $(date "+%H:%M:%S") Start
3
cd ../..
4
rm -rf ../h2web
5 6
mkdir ../h2web

7 8
rm -rf bin
rm -rf temp
9 10
JAVA_HOME=$JAVA15
PATH=$JAVA15/bin:$PATH
11 12
./build.sh -quiet

13 14
JAVA_HOME=$JAVA16
PATH=$JAVA16/bin:$PATH
15 16
./build.sh -quiet compile
./build.sh -quiet spellcheck javadocImpl jarClient
17

Thomas Mueller's avatar
Thomas Mueller committed
18
echo $(date "+%H:%M:%S") JDK 1.5
19 20
JAVA_HOME=$JAVA15
PATH=$JAVA15/bin:$PATH
Thomas Mueller's avatar
Thomas Mueller committed
21
./build.sh -quiet clean compile installer mavenDeployCentral
22

23
# ./build.sh -quiet compile benchmark
24 25
# == Copy the benchmark results 
# == and update the performance page and diagram
26

27 28
JAVA_HOME=$JAVA15
PATH=$JAVA15/bin:$PATH
29 30 31
./build.sh -quiet switchSource

echo $(date "+%H:%M:%S") Done