From a2d6088c743eeae9f918602c299ffbb8a10a3b34 Mon Sep 17 00:00:00 2001 From: Ruben Abad Date: Mon, 19 Feb 2024 15:10:46 +0100 Subject: [PATCH] force using bash instead of sh to avoid '[['as an error --- Util/BuildTools/Plugins.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/Util/BuildTools/Plugins.sh b/Util/BuildTools/Plugins.sh index 94154d04c..8514acb99 100755 --- a/Util/BuildTools/Plugins.sh +++ b/Util/BuildTools/Plugins.sh @@ -1,3 +1,4 @@ +#!/bin/bash # ============================================================================== # -- Parse arguments ----------------------------------------------------------- # ==============================================================================