summaryrefslogtreecommitdiff
path: root/save.pl
diff options
context:
space:
mode:
Diffstat (limited to 'save.pl')
-rw-r--r--save.pl5
1 files changed, 4 insertions, 1 deletions
diff --git a/save.pl b/save.pl
index d90e736..5303d3a 100644
--- a/save.pl
+++ b/save.pl
@@ -82,4 +82,7 @@ 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).