summaryrefslogtreecommitdiff
path: root/save.pl~
diff options
context:
space:
mode:
authorJohn Ankarström <john@ankarstrom.se>2022-01-22 18:16:33 +0100
committerJohn Ankarström <john@ankarstrom.se>2022-01-22 18:16:33 +0100
commit0ca182ce86cd1a7e60bd2260ad5cae92aa59626c (patch)
treee3dddc78833568e0fb1ad52b770ea17352c18bfa /save.pl~
parentcb9e96dfd1e839ab2b281ca32efb0a2af8fa3fa1 (diff)
downloadsave-0ca182ce86cd1a7e60bd2260ad5cae92aa59626c.tar.gz
M save.exe
M save.pl M save.pl~
Diffstat (limited to 'save.pl~')
-rw-r--r--save.pl~8
1 files changed, 5 insertions, 3 deletions
diff --git a/save.pl~ b/save.pl~
index d9881e3..1b50fff 100644
--- a/save.pl~
+++ b/save.pl~
@@ -82,6 +82,8 @@ chain_atom_x(C, A0, A) :-
).
commit(Msg) :-
- process_create(path(git), ['commit', '-m', Msg], [])
- ;
- true.
+ setup_call_cleanup(
+ process_create(path(git), ['commit', '-m', Msg], []),
+ true,
+ true
+ ).