Mercurial > vanilla

annotate Scripts/lint-options.sh @ 1030:80725fa0f064

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
kde/kded: initial import, closes #1801
author David Demelier <markand@malikania.fr>
date Fri, 30 Aug 2019 13:18:07 +0200
parents e46348eb3fbd
children 52b36e54f1b7
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
1019
ddab65a5b3f5 vanilla: use /bin/busybox sh as default shell
David Demelier <markand@malikania.fr>
parents: 721
diff changeset
1 #!/bin/busybox 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
1028
e46348eb3fbd vanilla: create a generic lint.sh script
David Demelier <markand@malikania.fr>
parents: 1019
diff changeset
30 echo "=> checking common options for $PKGNAME"
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