summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--save.exebin276184 -> 276252 bytes
-rw-r--r--save.pl2
-rw-r--r--save.pl~5
3 files changed, 6 insertions, 1 deletions
diff --git a/save.exe b/save.exe
index 8a71964..d9a0454 100644
--- a/save.exe
+++ b/save.exe
Binary files differ
diff --git a/save.pl b/save.pl
index b771bb4..d90e736 100644
--- a/save.pl
+++ b/save.pl
@@ -82,4 +82,4 @@ chain_atom_x(C, A0, A) :-
).
commit(Msg) :-
- process_create(path(git), ['commit', '-m', Msg], []).
+ process_create(path(git), ['commit', '-m', Msg], []); true.
diff --git a/save.pl~ b/save.pl~
index 1a720c4..d9881e3 100644
--- a/save.pl~
+++ b/save.pl~
@@ -80,3 +80,8 @@ chain_atom_x(C, A0, A) :-
chain_atom_x(C, A3, A)
; A = A0
).
+
+commit(Msg) :-
+ process_create(path(git), ['commit', '-m', Msg], [])
+ ;
+ true.