From 692274691ee23a34be3c5db130e0432edea375dc Mon Sep 17 00:00:00 2001 From: Alexis Svinartchouk Date: Mon, 29 Jun 2020 12:38:22 +0200 Subject: [PATCH] Remove non relevant comment Change-type: patch --- Makefile | 1 - 1 file changed, 1 deletion(-) diff --git a/Makefile b/Makefile index 9880fb0b..b543539d 100644 --- a/Makefile +++ b/Makefile @@ -23,7 +23,6 @@ $(BUILD_DIRECTORY): $(BUILD_TEMPORARY_DIRECTORY): | $(BUILD_DIRECTORY) mkdir $@ -# See https://stackoverflow.com/a/13468229/1641422 SHELL := /bin/bash # ---------------------------------------------------------------------