Skip to content
GitLab
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in / Register
Toggle navigation
Menu
Open sidebar
curry
curry-tools
Commits
4a98df20
Commit
4a98df20
authored
Nov 30, 2017
by
Michael Hanus
Browse files
CPM updated
parent
5184a878
Changes
1
Hide whitespace changes
Inline
Side-by-side
cpm/src/CPM/Repository.curry
View file @
4a98df20
...
...
@@ -183,8 +183,7 @@ updateRepository cfg = do
gitExists <- doesDirectoryExist $ (repositoryDir cfg) </> ".git"
if gitExists
then do
c <- inDirectory (repositoryDir cfg) $
execQuietCmd $ (\q -> "git pull " ++ q ++ " origin master")
c <- inDirectory (repositoryDir cfg) $ execQuietCmd $ cleanPullCmd
if c == 0
then do updateRepositoryCache cfg
log Info "Successfully updated repository"
...
...
@@ -196,6 +195,7 @@ updateRepository cfg = do
log Info "Successfully updated repository"
else failIO $ "Failed to update git repository, return code " ++ show c
where
cleanPullCmd q = "git clean -d -f && git pull " ++ q ++ " origin master"
cloneCommand q = unwords ["git clone", q, packageIndexRepository cfg, "."]
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment