From 0cb6851315f2fa4e8c6551e2f5fcabe540c382c8 Mon Sep 17 00:00:00 2001 From: Leonardo Arena Date: Wed, 16 Feb 2022 08:52:48 +0000 Subject: [PATCH] Don't use GNU sed --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 8c9be16..52fc99f 100644 --- a/Makefile +++ b/Makefile @@ -6,7 +6,7 @@ # that you want everything installed into. DESTDIR ?= -SED = /usr/bin/sed +SED = /bin/sed prefix = /usr exec_prefix = / -- 2.35.1