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
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
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
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