From 85fc83eaf418f88d659801af2bbcdd2dca96ab0c Mon Sep 17 00:00:00 2001 From: Joey Hess Date: Tue, 31 Dec 2019 18:09:17 -0400 Subject: [PATCH] force move Move will fail if the file is already on website and was re-downloaded to generate rpms with, so force makes sure it moves. --- Build/DistributionUpdate.hs | 1 + 1 file changed, 1 insertion(+) diff --git a/Build/DistributionUpdate.hs b/Build/DistributionUpdate.hs index fae8d6eead..273d442274 100644 --- a/Build/DistributionUpdate.hs +++ b/Build/DistributionUpdate.hs @@ -153,6 +153,7 @@ makeinfos updated version = do , Param "move" , Param "--to" , Param "website" + , Param "--force" ] void $ inRepo $ runBool [ Param "annex" -- 2.30.2