From bb02a41f6cd645049fc91b370f76e0c87286aa1f Mon Sep 17 00:00:00 2001
From: Manuel Barkhau <mbarkhau@gmail.com>
Date: Tue, 23 Jul 2019 20:28:55 +0200
Subject: [PATCH] avoid gnuism

---
 makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/makefile b/makefile
index 12d89b6..4dcd56b 100644
--- a/makefile
+++ b/makefile
@@ -78,7 +78,7 @@ GIT_HEAD_REV = $(shell git rev-parse --short HEAD)
 DOCKER_IMAGE_VERSION = $(shell date -u +'%Y%m%dt%H%M%S')_$(GIT_HEAD_REV)
 
 
-MAX_LINE_LEN = $(shell grep 'max-line-length = 100' setup.cfg | grep -oE "[0-9]+")
+MAX_LINE_LEN = $(shell grep 'max-line-length' setup.cfg | sed 's/[^0-9]\+//')
 
 
 build/envs.txt: requirements/conda.txt