From d7440a8b1ced17aacf87419c702dbc4af314d15d Mon Sep 17 00:00:00 2001
From: Sebastian Sumpf <sebastian.sumpf@genode-labs.com>
Date: Mon, 12 Jun 2023 13:57:40 +0200
Subject: [PATCH] tool/ports/current: use silent option for GNU Make 4.4

If this file is called from a Makefile via

! $(shell <path>/tool/ports/current qt5-host)

'shell' will return

"Entering directory '' <path-to-libc> Leaving directory '' Stop.",

and thus, producing multiple targets in the 'tool_chain_qt5' case.

issue #4725
---
 tool/ports/current | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tool/ports/current b/tool/ports/current
index 9403d4c1b3..2fb323f0b8 100755
--- a/tool/ports/current
+++ b/tool/ports/current
@@ -1,4 +1,4 @@
-#!/usr/bin/make -f
+#!/usr/bin/make -sf
 
 #
 # \brief  Tool for printing current contrib directory of port