diff options
Diffstat (limited to 'reproduce/config/pipeline/LOCAL.mk.in')
| -rw-r--r-- | reproduce/config/pipeline/LOCAL.mk.in | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/reproduce/config/pipeline/LOCAL.mk.in b/reproduce/config/pipeline/LOCAL.mk.in index 41298ee..00b907a 100644 --- a/reproduce/config/pipeline/LOCAL.mk.in +++ b/reproduce/config/pipeline/LOCAL.mk.in @@ -2,6 +2,11 @@ # # This is just a template for the `./configure' script to fill in. Please # don't make any change to this file. +# +# Copying and distribution of this file, with or without modification, are +# permitted in any medium without royalty provided the copyright notice and +# this notice are preserved. This file is offered as-is, without any +# warranty. BDIR = @bdir@ INDIR = @indir@ DEPENDENCIES-DIR = @ddir@ |