diff options
author | Andreas Baumann <mail@andreasbaumann.cc> | 2024-03-08 10:59:26 +0100 |
---|---|---|
committer | Andreas Baumann <mail@andreasbaumann.cc> | 2024-03-08 10:59:26 +0100 |
commit | 03386c76dff8e133da109c13e1d648682b64b139 (patch) | |
tree | a2d9294056e15767b1c4cffe81eb477f5dda1a6e | |
parent | 8f46b191dd9ef417976fe07229aa36f0f37a1f15 (diff) | |
download | devtools-03386c76dff8e133da109c13e1d648682b64b139.tar.xz |
disable parallel builds in Makefile
-rw-r--r-- | Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -2,6 +2,9 @@ V=$(shell git describe) SHELL=/bin/bash BUILDTOOLVER ?= $(V) +# builds with relf-referencing wildcards are not deterministic, switch of parallel builds +.NOTPARALLEL: + PREFIX = /usr/local MANDIR = $(PREFIX)/share/man DATADIR = $(PREFIX)/share/devtools |