diff options
| author | Omar Polo <op@omarpolo.com> | 2021-04-24 19:54:22 +0000 |
|---|---|---|
| committer | Omar Polo <op@omarpolo.com> | 2021-04-24 19:54:22 +0000 |
| commit | 072e3557c4819a085bdbe0631c64ffc8df98fbce (patch) | |
| tree | 5d36142059fc8d2180a60013e19c7192afb41c8e /.dockerignore | |
| parent | 0bfdcb1799c05c1db08fa7843b8b590e41464582 (diff) | |
build gmid statically inside the docker container
Diffstat (limited to '.dockerignore')
| -rw-r--r-- | .dockerignore | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/.dockerignore b/.dockerignore new file mode 100644 index 0000000..2e11fc7 --- /dev/null +++ b/.dockerignore @@ -0,0 +1,7 @@ +.git +*.o +gmid +gg +regress +Makefile.local +config.h |