diff options
| author | David Lamparter <equinox@diac24.net> | 2018-10-23 14:06:25 +0200 |
|---|---|---|
| committer | David Lamparter <equinox@diac24.net> | 2018-10-24 15:11:50 +0200 |
| commit | 06871ed9fbc2276922cf5a22fe0079ef89eb66b9 (patch) | |
| tree | b6a436778d516841721ec676422a3263be37decf /.gitignore | |
| parent | 0558dc67a349b5a5aa6660d13b2e991195204d25 (diff) | |
build: carry --with-pkg-extra-version into tarballs
If we use "./configure --with-pkg-extra-version=... && make dist", we
probably want the dist tarball to remember the extra version it was
configured with.
Use --without-pkg-extra-version to kill the tag.
Signed-off-by: David Lamparter <equinox@diac24.net>
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index 8c62f05539..ad3e3c80e0 100644 --- a/.gitignore +++ b/.gitignore @@ -7,6 +7,7 @@ /config.status /config.guess /config.sub +/config.version /ltmain.sh /stamp-h /stamp-h[0-9]* |