diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2015-04-02 12:01:07 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2015-04-02 12:01:07 +0200 |
commit | 48f8883de7b8fa348423b3baf262de08c98eba18 (patch) | |
tree | 024b2aa3f2a5ef5f1b8cad8cc1d8902840b4e94c /build/.gitignore | |
parent | 626348009e74d2ec6e9f500d27f60728b4fc81df (diff) |
Keep previous version of b executable as b-prev until linker succeeds
This is useful in case of a linker error in which case the b binary
is deleted and we have nothing to use. Also, it is a good idea to
manually keep b-save in case of runtime bugs introduced during
development.
Diffstat (limited to 'build/.gitignore')
-rw-r--r-- | build/.gitignore | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/build/.gitignore b/build/.gitignore index 9a7f491..049eb87 100644 --- a/build/.gitignore +++ b/build/.gitignore @@ -1,5 +1,4 @@ b -b1 +b-prev +b-save config.build - - |