diff options
| author | John Ankarström <john@ankarstrom.se> | 2022-01-22 18:16:33 +0100 |
|---|---|---|
| committer | John Ankarström <john@ankarstrom.se> | 2022-01-22 18:16:33 +0100 |
| commit | 0ca182ce86cd1a7e60bd2260ad5cae92aa59626c (patch) | |
| tree | e3dddc78833568e0fb1ad52b770ea17352c18bfa /save.pl | |
| parent | cb9e96dfd1e839ab2b281ca32efb0a2af8fa3fa1 (diff) | |
| download | save-0ca182ce86cd1a7e60bd2260ad5cae92aa59626c.tar.gz | |
M save.exe
M save.pl
M save.pl~
Diffstat (limited to 'save.pl')
| -rw-r--r-- | save.pl | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -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). |