Fix deprecated use of `which`
Instead of `which`, the suggested alternative
is `command -v`
Signed-off-by: Henner Zeller <h.zeller@acm.org>
diff --git a/Makefile_plugin.common b/Makefile_plugin.common
index b26a7e0..fd6d86e 100644
--- a/Makefile_plugin.common
+++ b/Makefile_plugin.common
@@ -38,8 +38,10 @@
# |-- example2-plugin
# |-- ...
+SHELL := /usr/bin/env bash
+
# Either find yosys in system and use its path or use the given path
-YOSYS_PATH ?= $(realpath $(dir $(shell which yosys))/..)
+YOSYS_PATH ?= $(realpath $(dir $(shell command -v yosys))/..)
# Find yosys-config, throw an error if not found
YOSYS_CONFIG = $(YOSYS_PATH)/bin/yosys-config
diff --git a/Makefile_test.common b/Makefile_test.common
index ca6ec18..5d72327 100644
--- a/Makefile_test.common
+++ b/Makefile_test.common
@@ -14,8 +14,10 @@
# test2_verify = $(call diff_test,test2,ext)
#
+SHELL := /usr/bin/env bash
+
# Either find yosys in system and use its path or use the given path
-YOSYS_PATH ?= $(realpath $(dir $(shell which yosys))/..)
+YOSYS_PATH ?= $(realpath $(dir $(shell command -v yosys))/..)
# Find yosys-config, throw an error if not found
YOSYS_CONFIG = $(YOSYS_PATH)/bin/yosys-config
