diff options
| author |  Joey Hess <joeyh@joeyh.name> | 2015-04-14 16:35:10 -0400 |
|---|---|---|
| committer | Joey Hess <joeyh@joeyh.name> | 2015-04-14 16:35:10 -0400 |
| commit | efec2521cc14b3dec895066c9e7c16e740ab12ec (patch) | |
| tree | b60412fe4c371871f334e33bbb5e3f52b1ba0945 /Remote/External.hs | |
| parent | dc367b090adec9f2fc5f37cba5e9b5d5f2decbce (diff) | |
add filename to progress bar, and display ok/failed at end
This needed plumbing an AssociatedFile through retrieveKeyFileCheap.
Diffstat (limited to 'Remote/External.hs')
| -rw-r--r-- | Remote/External.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Remote/External.hs b/Remote/External.hs index adfd79113..d09e1f9b3 100644 --- a/Remote/External.hs +++ b/Remote/External.hs @@ -56,7 +56,7 @@ gen r u c gc = do , name = Git.repoDescribe r , storeKey = storeKeyDummy , retrieveKeyFile = retreiveKeyFileDummy - , retrieveKeyFileCheap = \_ _ -> return False + , retrieveKeyFileCheap = \_ _ _ -> return False , removeKey = removeKeyDummy , checkPresent = checkPresentDummy , checkPresentCheap = False |