1 #!/bin/sh 1 #!/bin/sh
2 # SPDX-License-Identifier: GPL-2.0-only 2 # SPDX-License-Identifier: GPL-2.0-only
3 3
4 # Dummy script that always succeeds. 4 # Dummy script that always succeeds.
5 5
6 # Check if the first parameter appears in the 6 # Check if the first parameter appears in the rest. Succeeds if found.
7 # This helper is useful if a particular option 7 # This helper is useful if a particular option was passed to this script.
8 # Typically used like this: 8 # Typically used like this:
9 # arg_contain <word-you-are-searching-for> " 9 # arg_contain <word-you-are-searching-for> "$@"
10 arg_contain () 10 arg_contain ()
11 { 11 {
12 search="$1" 12 search="$1"
13 shift 13 shift
14 14
15 while [ $# -gt 0 ] 15 while [ $# -gt 0 ]
16 do 16 do
17 if [ "$search" = "$1" ]; then 17 if [ "$search" = "$1" ]; then
18 return 0 18 return 0
19 fi 19 fi
20 shift 20 shift
21 done 21 done
22 22
23 return 1 23 return 1
24 } 24 }
25 25
26 if arg_contain --version "$@" || arg_contain - 26 if arg_contain --version "$@" || arg_contain -v "$@"; then
27 progname=$(basename $0) 27 progname=$(basename $0)
28 echo "GNU $progname (scripts/dummy-too 28 echo "GNU $progname (scripts/dummy-tools/$progname) 2.50"
29 exit 0 29 exit 0
30 fi 30 fi
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.