From 638aaa902abfd74e1754f560e0515f90b0f3d3a7 Mon Sep 17 00:00:00 2001 From: Gabriele Gristina Date: Sat, 12 Jul 2025 19:28:29 +0200 Subject: [PATCH] Update tools/install_modules.sh: using bash instead of sh, fix unclosed double quote --- tools/install_modules.sh | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/tools/install_modules.sh b/tools/install_modules.sh index 385dbdb73..c26ebba4d 100755 --- a/tools/install_modules.sh +++ b/tools/install_modules.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/usr/bin/env bash ## ## Author......: See docs/credits.txt @@ -157,7 +157,7 @@ fi php --version &> /dev/null if [ $? -ne 0 ]; then - echo "! php must be installed for some unit tests' + echo "! php must be installed for some unit tests" ERRORS=$((ERRORS+1)) fi @@ -165,9 +165,9 @@ fi echo if [ $ERRORS -gt 0 ]; then - echo '[ FAIL ] Some commands were not successful' + echo "[ FAIL ] Some commands were not successful" exit 1 fi -echo '[ OK ] All commands were successful' +echo "[ OK ] All commands were successful" exit 0