commit fbec8bebc30a4619b6b192a0fc466dc81f15da14
parent 9f93e2ff2e7dbff68d10c00d30acab2a5cd14189
Author: Florian Dold <florian@dold.me>
Date: Wed, 24 Apr 2024 12:55:35 +0200
build system: allow running make unconfigured
As the Makefile is always present, it must be runnable unconfigured.
Otherwise dpkg-buildpackage doesn't like us.
Diffstat:
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/Makefile b/Makefile
@@ -1,6 +1,6 @@
# This Makefile has been placed under the public domain
-include build-system/config.mk
+-include build-system/config.mk
# Default target, must be at the top.
# Should be changed with care to not break (Debian) packaging.
