From b3a90803983b36043acf04108fd579e35fd20a6f Mon Sep 17 00:00:00 2001 From: Luca Weiss Date: Sun, 8 Dec 2019 19:10:22 +0100 Subject: [PATCH] helpers/envkernel.fish: add gcc4 support (!1842) --- helpers/envkernel.fish | 17 ++++++++++------- 1 file changed, 10 insertions(+), 7 deletions(-) diff --git a/helpers/envkernel.fish b/helpers/envkernel.fish index 69d730e6..f3b980cc 100644 --- a/helpers/envkernel.fish +++ b/helpers/envkernel.fish @@ -2,13 +2,16 @@ # Copyright 2019 Oliver Smith # SPDX-License-Identifier: GPL-3.0-or-later -if [ "$argv" != "" ] - and [ "$argv" != "--gcc6" ] - echo "usage: source envkernel.fish" - echo "optional arguments:" - echo " --gcc6 Use GCC6 cross compiler" - echo " --help Show this help message" - exit 1 +for arg in $argv + if not string match -q -- "--gcc6" $arg; + and not string match -q -- "--gcc4" $arg + echo "usage: source envkernel.fish" + echo "optional arguments:" + echo " --gcc4 Use GCC4 cross compiler" + echo " --gcc6 Use GCC6 cross compiler" + echo " --help Show this help message" + exit 1 + end end # Fish compatibility code from envkernel.sh