diff options
| -rw-r--r-- | debian/Makefile | 2 | ||||
| -rw-r--r-- | debian/prelude.mk | 23 | ||||
| -rwxr-xr-x | debian/rules | 2 |
3 files changed, 2 insertions, 25 deletions
diff --git a/debian/Makefile b/debian/Makefile index 13b7590..5580ca0 100644 --- a/debian/Makefile +++ b/debian/Makefile @@ -1,4 +1,4 @@ -include prelude.mk +include ../prelude.mk NAME ?= Egor Tensin EMAIL ?= egor@tensin.name diff --git a/debian/prelude.mk b/debian/prelude.mk deleted file mode 100644 index 374111e..0000000 --- a/debian/prelude.mk +++ /dev/null @@ -1,23 +0,0 @@ -# Please see https://egort.name/blog/notes/makefile.html - -MAKEFLAGS += --no-builtin-rules --no-builtin-variables --warn-undefined-variables -unexport MAKEFLAGS -.DEFAULT_GOAL := all -.DELETE_ON_ERROR: -.SUFFIXES: -SHELL := bash -.SHELLFLAGS := -eu -o pipefail -c - -escape = $(subst ','\'',$(1)) - -define noexpand -ifeq ($$(origin $(1)),environment) - $(1) := $$(value $(1)) -endif -ifeq ($$(origin $(1)),environment override) - $(1) := $$(value $(1)) -endif -ifeq ($$(origin $(1)),command line) - override $(1) := $$(value $(1)) -endif -endef diff --git a/debian/rules b/debian/rules index 43896d7..cbe925d 100755 --- a/debian/rules +++ b/debian/rules @@ -1,3 +1,3 @@ #!/usr/bin/make -f %: - dh $@ --buildsystem=none + dh $@ |