export VAGRANT_HOME=$SETUP_WORKSPACE/vagrant.d
# make sure we have the right buildserver paths and its ready for use
-vagrant global-status | grep reproducible_setup_fdroid_build_environment
+vagrant global-status \
+ | grep -F -e reproducible_setup_fdroid_build_environment -o -e fdroiddata/builder
# the way we handle jenkins slaves doesn't copy the workspace to the slaves
# so we need to "manually" clone the git repo hereā¦
fi
echo "build_server_always = True" > config.py
-$WORKSPACE/fdroid build --verbose --latest --no-tarball --all
+# if the local mediawiki is available, then use it
+if nc -z -w1 localhost 32445; then
+ wikiflag="--wiki"
+ echo "wiki_protocol = 'http'" >> config.py
+ echo "wiki_server = 'localhost:32445'" >> config.py
+ echo "wiki_path = '/mediawiki/'" >> config.py
+ echo "wiki_user = 'fdroid'" >> config.py
+ echo "wiki_password = 'update.TestCase'" >> config.py
+else
+ sed -i '/^wiki_/d' config.py
+fi
+
+$WORKSPACE/fdroid build --verbose --latest --no-tarball --all $wikiflag
vagrant global-status
-cd builder
-vagrant status
+if [ -d builder ]; then
+ cd builder
+ vagrant status
+fi