Ignore the removal of config.gpr when the file does not exist

2019-12-14 22:46:30 +01:00
parent f0b0e29f85
commit 0461827b35
1 changed files with 1 additions and 1 deletions
@@ -21,7 +21,7 @@ maintainers-logins = ["stcarrez"]

    [[general.actions]]
    type = "post-fetch"
-    command = ["rm", "config.gpr"]
+    command = ["rm", "-f", "config.gpr"]

 ['1.2.0']
 origin = "git+https://github.com/stcarrez/ada-wiki.git@1705a18eb8f8660fca33e4c6b1eebff90bc0f8fe"