diff options
Diffstat (limited to 'scripts/config')
-rwxr-xr-x | scripts/config | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/scripts/config b/scripts/config index eee5b7f3a092..ff88e2faefd3 100755 --- a/scripts/config +++ b/scripts/config @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash # SPDX-License-Identifier: GPL-2.0 # Manipulate options in a .config file from the command line @@ -223,6 +223,7 @@ while [ "$1" != "" ] ; do ;; *) + echo "bad command: $CMD" >&2 usage ;; esac |