EWS: webkit-run-ews.sh

File webkit-run-ews.sh, 1.3 KB (added by clopez@igalia.com, 4 years ago)

Example script to run a WebKitGTK+ EWS bot

Line 
1#!/bin/bash
2set -u
3
4# Put here the desired name for your EWS. Any name works, but better if
5# the name allows to indentify you easily, so if there is any problem with
6# your EWS we can tell you. For example, if your usual bugzilla is
7# johnsmith23, you can use for name of the EWS johnsmith23-gtk-ews
8BOTID="johnsmith23-gtk-ews"
9
10# Put here the path to the directory to the local WebKit repository
11WEBKITDIR="$HOME/WebKit"
12
13
14# Avoid problems with locales.
15export LANG=C
16
17# Use ccache.
18export PATH="/usr/lib/ccache:$PATH"
19
20# Uncoment below use also icecc. Check: https://trac.webkit.org/wiki/WebKitGTK/SpeedUpBuild
21#pushd /tmp
22#export CCACHE_PREFIX=icecc
23#export ICECC_VERSION="$(pwd)/$(icecc --build-native|tee /dev/stderr|grep creating|awk '{print $2}')"
24#export NUMBER_OF_PROCESSORS=48
25#popd
26
27
28if ! cd "${WEBKITDIR}"; then
29  echo "Fatal: Can't cd into ${WEBKITDIR}"
30  exit 1
31fi
32
33while true; do
34  git reset --hard HEAD
35  git clean -fd
36  git rebase --abort
37  git fetch
38  git svn rebase
39
40  # if asked, clean the build directory to start fresh
41  if test -f "${HOME}/clean-build"; then
42    echo "Clean build"
43    rm -f "${HOME}/clean-build"
44    rm -fr WebKitBuild
45  fi
46
47  nice python ./Tools/Scripts/webkit-patch gtk-wk2-ews --bot-id="${BOTID}" --no-confirm --exit-after-iteration 20
48done