diff options
author | Alejandro Colomar <alx@kernel.org> | 2024-02-24 01:15:13 +0100 |
---|---|---|
committer | Alejandro Colomar <alx@kernel.org> | 2024-02-25 10:50:54 +0100 |
commit | 5fabf2b0c87e75792b5298e85efc536d6ba618ab (patch) | |
tree | 1e0200b872aedc800a33a90a351059cdf5aadeca /GNUmakefile | |
parent | cb497121b5fa4be0bb344b8f4bbbdcfb691b016d (diff) |
share/mk/: dist: FORCE regeneration of version file if necessary
If any of $DISTVERSION, $DISTNAME, or $DISTDATE have changed since the
last 'make dist', force regeneration of the version file, even if it
wouldn't change due to normal dependencies. This makes sure that the
tarball has correct values.
It doesn't need to depend on all $DISTFILES.
Signed-off-by: Alejandro Colomar <alx@kernel.org>
Diffstat (limited to 'GNUmakefile')
-rw-r--r-- | GNUmakefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/GNUmakefile b/GNUmakefile index 830a30fc1..9fbe482e9 100644 --- a/GNUmakefile +++ b/GNUmakefile @@ -220,3 +220,4 @@ nothing:; .DELETE_ON_ERROR: .SILENT: +FORCE: |