build: Activate ONESHELL.
authorAndre Noll <maan@tuebingen.mpg.de>
Sat, 2 Mar 2019 13:32:01 +0000 (14:32 +0100)
committerAndre Noll <maan@tuebingen.mpg.de>
Thu, 14 Mar 2019 13:11:03 +0000 (14:11 +0100)
This instructs "make" to pass all the lines in the recipe to a single
invocation of the shell, which is generally a good idea since it
speeds up the build a bit.

Makefile

index 4278505..89af315 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -6,6 +6,8 @@ MAKEFLAGS += -Rr
 ifeq ("$(origin CC)", "default")
         CC := cc
 endif
+.ONESHELL:
+.SHELLFLAGS := -ec
 
 PREFIX ?= /usr/local
 M4 := m4