diff options
Diffstat (limited to 'infra/debian/compiler/source/local-options')
| -rw-r--r-- | infra/debian/compiler/source/local-options | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/infra/debian/compiler/source/local-options b/infra/debian/compiler/source/local-options new file mode 100644 index 000000000..296a73032 --- /dev/null +++ b/infra/debian/compiler/source/local-options @@ -0,0 +1,2 @@ +# This is for reproducible building. Otherwise, `debuild` recognizes build artifacts as source files. +diff-ignore="build|externals" |