diff options
author | Alejandro Colomar <alx@kernel.org> | 2023-04-11 02:31:38 +0200 |
---|---|---|
committer | Alejandro Colomar <alx@kernel.org> | 2023-04-11 02:32:31 +0200 |
commit | 0766cc053272f7f157f3de180ca8716039bd32e4 (patch) | |
tree | 659e19fa9fbfb685797055f42ad0bd0c8bd23317 /RELEASE | |
parent | f1106183b5f2bd502d92645490643702d4084aa4 (diff) |
RELEASE, dist.mk: Use make(1)'s -B to force recreation of the dist files
Using FORCE unnecessarily restarts the entire build, even if we _know_
nothing changed. That's boring. Trust ourselves, and write the
commands in the RELEASE file as using '-B', to remind ourselves.
Forgetting to use -B will result in incorrect timestamps or versioning
in the distributed pages, so don't forget it ;).
While we're at it, let's also use -j4 directly, so I don't read the
paragraph reminding me to use -j _after_ I've already run it. Let's
write -j4 instead of -j so that we don't crash some innocent's system.
Signed-off-by: Alejandro Colomar <alx@kernel.org>
Diffstat (limited to 'RELEASE')
-rw-r--r-- | RELEASE | 17 |
1 files changed, 6 insertions, 11 deletions
@@ -95,17 +95,12 @@ Description - Create the tarball: - $ make dist - - Since it takes a few seconds, you may prefer to run it in - parallel: - - $ make -j dist + $ make -Bj4 dist Alternatively, you may want to only create a specific kind of tarball with one of the following targets: - $ make dist-tar dist-xz dist-gz + $ make -Bj4 dist-tar dist-xz dist-gz - Sign the tarball: @@ -195,9 +190,9 @@ Files Linux software map. See also <https://lsm.qqx.org/>. .tmp/man-pages-<version>.tar{,.xz,.gz} - Generated tarballs. You can generate all with 'make dist', or generate - only some of them, with 'make dist-tar', 'make dist-xz', or - 'make dist-gz'. + Generated tarballs. You can generate all with 'make -B dist', or + generate only some of them, with 'make -B dist-tar', 'make -B dist-xz', + or 'make -B dist-gz'. Versions Use the DISTVERSION variable when running make(1) to specify a version @@ -205,7 +200,7 @@ Versions This needs to be done from the git repository, and won't work from an extracted tarball. - $ make dist-xz DISTVERSION=6.01+43 + $ make -B dist-xz DISTVERSION=6.01+43 Caveats The version and date of last modification for each page is hardcoded |