diff options
| author | Dan Liew <daniel.liew@imperial.ac.uk> | 2016-11-02 18:22:30 +0000 |
|---|---|---|
| committer | Dan Liew <delcypher@gmail.com> | 2016-11-07 22:16:29 +0000 |
| commit | 6c2bba097639922244201e6140f71ccd14e335c3 (patch) | |
| tree | d396746d8fc15796b89e6f0a16357df264ff0de5 | |
| parent | 7e75b491d389c15d48a5cfc455ba9442d7c108ed (diff) | |
| download | klee-6c2bba097639922244201e6140f71ccd14e335c3.tar.gz | |
Add the Dockerfile to `.dockerignore` so that changes the Dockerfile
don't trigger unnecessary rebuilds. Also make the Dockerfile ignore Vim source files anywhere in the tree.
| -rw-r--r-- | .dockerignore | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/.dockerignore b/.dockerignore index b3d5b5a0..8feca832 100644 --- a/.dockerignore +++ b/.dockerignore @@ -1,3 +1,4 @@ .git autom4te.cache -.*.swp +**/.*.swp +Dockerfile |