From ab5e61d71040e8428d8dc50d31a40e68ef8362d9 Mon Sep 17 00:00:00 2001 From: DaniAndTheWeb <57776841+DaniAndTheWeb@users.noreply.github.com> Date: Fri, 5 May 2023 23:10:28 +0200 Subject: [PATCH] Fix possible error Co-authored-by: Pavol Rusnak --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 1098ce29c..e54c68dbe 100644 --- a/Makefile +++ b/Makefile @@ -13,7 +13,7 @@ ifndef UNAME_M UNAME_M := $(shell uname -m) endif -ARCH_LINUX := $(shell grep -e "Arch Linux" -e "ID_LIKE=arch" /etc/os-release) +ARCH_LINUX := $(shell grep -e "Arch Linux" -e "ID_LIKE=arch" /etc/os-release 2>/dev/null) ifdef ARCH_LINUX LDFLAGS_EXTRA += -lcblas endif