diff options
| author | Omar Polo <op@omarpolo.com> | 2021-07-11 20:58:42 +0000 |
|---|---|---|
| committer | Omar Polo <op@omarpolo.com> | 2021-07-11 20:58:42 +0000 |
| commit | 3b0eff06ff6cbf68ec1dab7a3c93154bdb64561b (patch) | |
| tree | 38aa306a2af4487cfb393680d89da46841da8ba3 /.dockerignore | |
| parent | 02ccd9d9409ac5b2889154fe52d751689ec40e9a (diff) | |
fix the dockerfile
Diffstat (limited to '.dockerignore')
| -rw-r--r-- | .dockerignore | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/.dockerignore b/.dockerignore index 6d290c9..f25eda7 100644 --- a/.dockerignore +++ b/.dockerignore @@ -1,4 +1,9 @@ ** !*.c +!*.h +!*.y +!compat/*.c +!compat/*.h +!have/*.c !Makefile !configure |