From 3daf86d883abadef69583109aace38677e946cca Mon Sep 17 00:00:00 2001
From: Andre Noll <maan@tuebingen.mpg.de>
Date: Sat, 2 Mar 2019 14:32:01 +0100
Subject: [PATCH] build: Activate ONESHELL.

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 | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/Makefile b/Makefile
index 4278505..89af315 100644
--- 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
-- 
2.39.5