diff options
author | Hans-Christoph Steiner <hans@eds.org> | 2017-04-24 15:12:22 +0200 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2017-04-24 15:30:43 +0200 |
commit | bee24c209bf74cc833808620106cafdce15714b3 (patch) | |
tree | bdb7cbfb0ec345ccf80e0a98b410a42206c6d9f1 /bin | |
parent | 2c0fc8c4638332134e891c53aef174815fb61de1 (diff) | |
download | jenkins.debian.net-bee24c209bf74cc833808620106cafdce15714b3.tar.xz |
reproducible fdroid: manually fetch commits for fdroid_build_apps
Signed-off-by: Holger Levsen <holger@layer-acht.org>
Diffstat (limited to 'bin')
-rwxr-xr-x | bin/reproducible_fdroid_build_apps.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/bin/reproducible_fdroid_build_apps.sh b/bin/reproducible_fdroid_build_apps.sh index 59b26fbd..c85219d7 100755 --- a/bin/reproducible_fdroid_build_apps.sh +++ b/bin/reproducible_fdroid_build_apps.sh @@ -22,11 +22,12 @@ export WORKSPACE=$BASE/fdroid-build if [ -e $WORKSPACE/.git ]; then # reuse the git repo if possible, to keep all the setup in fdroiddata/ cd $WORKSPACE + git fetch --tags git clean -fdx git reset --hard git checkout master + git reset --hard origin/master git clean -fdx - git reset --hard else rm -rf $WORKSPACE git clone https://gitlab.com/eighthave/fdroidserver-for-jenkins.debian.net.git $WORKSPACE |