Commitdd21f0b

committed

Print a make warning when using GNU make older than 3.80

A proposed patch will require GNU make 3.80 or newer. We will let this patchrun for a while to see how much damage that would do to the buildfarm.

1 parent61d6dd0 commitdd21f0bCopy full SHA for dd21f0b

File tree

-0

lines changed

-0

lines changed

Lines changed: 8 additions & 0 deletions

Original file line number	Diff line number	Diff line change
`@@ -144,3 +144,11 @@ distcheck: dist`
`144`	`144`	`@echo "Distribution integrity checks out."`
`145`	`145`
`146`	`146`	`.PHONY: dist distdir distcheck docs install-docs`
	`147`	`+`
	`148`	`+`
	`149`	`+# Temporary measure to explore whether we can start requiring GNU make`
	`150`	`+# 3.80. That version also happens to be the version where the`
	`151`	`+# .VARIABLES variable was introduced, so this is a simple check.`
	`152`	`+ifndef .VARIABLES`
	`153`	`+$(warning warning: GNU make 3.80 or newer might become required soon. You are using version $(MAKE_VERSION).)`
	`154`	`+endif`

Comments

(0)