Mercurial > vanilla

annotate Scripts/lint-options.sh @ 1177:6dd3148ac08d

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
network/bridge-utils: initial import, closes #1221
author David Demelier <markand@malikania.fr>
date Wed, 23 Oct 2019 20:05:00 +0200
parents 297b5eef115e
children 9867e578b1a9
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
1115
297b5eef115e vanilla: change shebangs to /bin/sh
David Demelier <markand@malikania.fr>
parents: 1061
diff changeset
1 #!/bin/sh
721
034a2a62a9f8 vanilla: consolidate options with lint-options.sh
David Demelier <markand@malikania.fr>
parents:
diff changeset
2 #
034a2a62a9f8 vanilla: consolidate options with lint-options.sh
David Demelier <markand@malikania.fr>
parents:
diff changeset
3 # lint-options.sh -- check if packages use predefined options
034a2a62a9f8 vanilla: consolidate options with lint-options.sh
David Demelier <markand@malikania.fr>
parents:
diff changeset
4 #
034a2a62a9f8 vanilla: consolidate options with lint-options.sh
David Demelier <markand@malikania.fr>
parents:
diff changeset
5 # Copyright (c) 2019 David Demelier <markand@malikania.fr>
034a2a62a9f8 vanilla: consolidate options with lint-options.sh
David Demelier <markand@malikania.fr>
parents:
diff changeset
6 #
034a2a62a9f8 vanilla: consolidate options with lint-options.sh
David Demelier <markand@malikania.fr>
parents:
diff changeset
7 # Permission to use, copy, modify, and/or distribute this software for any
034a2a62a9f8 vanilla: consolidate options with lint-options.sh
David Demelier <markand@malikania.fr>
parents:
diff changeset
8 # purpose with or without fee is hereby granted, provided that the above
034a2a62a9f8 vanilla: consolidate options with lint-options.sh
David Demelier <markand@malikania.fr>
parents:
diff changeset
9 # copyright notice and this permission notice appear in all copies.
034a2a62a9f8 vanilla: consolidate options with lint-options.sh
David Demelier <markand@malikania.fr>
parents:
diff changeset
10 #
034a2a62a9f8 vanilla: consolidate options with lint-options.sh
David Demelier <markand@malikania.fr>
parents:
diff changeset
11 # THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
034a2a62a9f8 vanilla: consolidate options with lint-options.sh
David Demelier <markand@malikania.fr>
parents:
diff changeset
12 # WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
034a2a62a9f8 vanilla: consolidate options with lint-options.sh
David Demelier <markand@malikania.fr>
parents:
diff changeset
13 # MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR
034a2a62a9f8 vanilla: consolidate options with lint-options.sh
David Demelier <markand@malikania.fr>
parents:
diff changeset
14 # ANY SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
034a2a62a9f8 vanilla: consolidate options with lint-options.sh
David Demelier <markand@malikania.fr>
parents:
diff changeset
15 # WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
034a2a62a9f8 vanilla: consolidate options with lint-options.sh
David Demelier <markand@malikania.fr>
parents:
diff changeset
16 # ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
034a2a62a9f8 vanilla: consolidate options with lint-options.sh
David Demelier <markand@malikania.fr>
parents:
diff changeset
17 # OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
034a2a62a9f8 vanilla: consolidate options with lint-options.sh
David Demelier <markand@malikania.fr>
parents:
diff changeset
18 #
034a2a62a9f8 vanilla: consolidate options with lint-options.sh
David Demelier <markand@malikania.fr>
parents:
diff changeset
19
1028
e46348eb3fbd vanilla: create a generic lint.sh script
David Demelier <markand@malikania.fr>
parents: 1019
diff changeset
20 . $(dirname $0)/scripts.subr
721
034a2a62a9f8 vanilla: consolidate options with lint-options.sh
David Demelier <markand@malikania.fr>
parents:
diff changeset
21
034a2a62a9f8 vanilla: consolidate options with lint-options.sh
David Demelier <markand@malikania.fr>
parents:
diff changeset
22 check()
1028
e46348eb3fbd vanilla: create a generic lint.sh script
David Demelier <markand@malikania.fr>
parents: 1019
diff changeset
23 {
e46348eb3fbd vanilla: create a generic lint.sh script
David Demelier <markand@malikania.fr>
parents: 1019
diff changeset
24 vnl_open_build $1
721
034a2a62a9f8 vanilla: consolidate options with lint-options.sh
David Demelier <markand@malikania.fr>
parents:
diff changeset
25
1028
e46348eb3fbd vanilla: create a generic lint.sh script
David Demelier <markand@malikania.fr>
parents: 1019
diff changeset
26 if [ -z "$PKGNAME" ]; then
e46348eb3fbd vanilla: create a generic lint.sh script
David Demelier <markand@malikania.fr>
parents: 1019
diff changeset
27 exit 1
721
034a2a62a9f8 vanilla: consolidate options with lint-options.sh
David Demelier <markand@malikania.fr>
parents:
diff changeset
28 fi
034a2a62a9f8 vanilla: consolidate options with lint-options.sh
David Demelier <markand@malikania.fr>
parents:
diff changeset
29
1061
52b36e54f1b7 vanilla: add some colors in scripts
David Demelier <markand@malikania.fr>
parents: 1028
diff changeset
30 printf "${BOLD}=> checking common options for $PKGNAME${RESET}\n"
721
034a2a62a9f8 vanilla: consolidate options with lint-options.sh
David Demelier <markand@malikania.fr>
parents:
diff changeset
31
034a2a62a9f8 vanilla: consolidate options with lint-options.sh
David Demelier <markand@malikania.fr>
parents:
diff changeset
32 for o in $PKGOPTIONS; do
1028
e46348eb3fbd vanilla: create a generic lint.sh script
David Demelier <markand@malikania.fr>
parents: 1019
diff changeset
33 if ! grep -q "^- $o:" $TOP/Docs/options.md; then
e46348eb3fbd vanilla: create a generic lint.sh script
David Demelier <markand@malikania.fr>
parents: 1019
diff changeset
34 echo "note: option $o is unknown or custom" 1>&2
721
034a2a62a9f8 vanilla: consolidate options with lint-options.sh
David Demelier <markand@malikania.fr>
parents:
diff changeset
35 fi
034a2a62a9f8 vanilla: consolidate options with lint-options.sh
David Demelier <markand@malikania.fr>
parents:
diff changeset
36 done
1028
e46348eb3fbd vanilla: create a generic lint.sh script
David Demelier <markand@malikania.fr>
parents: 1019
diff changeset
37 }
721
034a2a62a9f8 vanilla: consolidate options with lint-options.sh
David Demelier <markand@malikania.fr>
parents:
diff changeset
38
1028
e46348eb3fbd vanilla: create a generic lint.sh script
David Demelier <markand@malikania.fr>
parents: 1019
diff changeset
39 check $1