Change permission of the ssh key
[tsan11-tsan11rec-docker.git] / scripts / build_firefox_jsshell.sh
1 #!/bin/sh
2   
3 # Download firefox
4 cd /data
5 if [ ! -d "firefox" ]; then
6     wget https://ftp.mozilla.org/pub/firefox/releases/50.0.1/source/firefox-50.0.1.source.tar.xz
7     tar -xf firefox-50.0.1.source.tar.xz
8     mv firefox-50.0.1 firefox
9     rm firefox-50.0.1.source.tar.xz
10 fi
11
12 cp /data/scripts/jsshell-tsan11.sh firefox/js/src
13 cp /data/scripts/jsshell-tsan11rec.sh firefox/js/src
14 cp /data/scripts/icu.m4 /data/firefox/build/autoconf
15 cd /data/firefox/js/src
16
17 if [ -d "tsan11" ]; then rm -Rf tsan11; fi
18 sh jsshell-tsan11.sh tsan11
19 cp tsan11/js/src/shell/js /data/tsan11-benchmarks
20
21 if [ -d "tsan11rec" ]; then rm -Rf tsan11rec; fi
22 sh jsshell-tsan11rec.sh tsan11rec
23 cp tsan11rec/js/src/shell/js /data/tsan11rec-benchmarks