summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authortv <tv@krebsco.de>2016-02-19 19:12:09 +0100
committertv <tv@krebsco.de>2016-02-20 02:02:08 +0100
commit1226a20038fa61e8a98b31f223a59b244dd6cd03 (patch)
tree84bc12efa71b000f995074ce58eab3e35a19bbeb
parent2ff36bad032df0900e13a3ec743b09064c3d07c6 (diff)
krebs.build.populate fetch_git: checkout with force
-rw-r--r--krebs/3modules/build.nix2
1 files changed, 1 insertions, 1 deletions
diff --git a/krebs/3modules/build.nix b/krebs/3modules/build.nix
index 08a7cd047..d4c6b08df 100644
--- a/krebs/3modules/build.nix
+++ b/krebs/3modules/build.nix
@@ -116,7 +116,7 @@ let
if ! test "$(git log --format=%H -1)" = "$hash"; then
git fetch origin
git checkout "$hash" -- "$dst_dir"
- git checkout "$hash"
+ git checkout -f "$hash"
fi
git clean -dxf