Mercurial > vanilla
annotate Scripts/lint-options.sh @ 1293:6b8ed869b739
core/less: upgrade to 590
author | David Demelier <markand@malikania.fr> |
---|---|
date | Thu, 11 Nov 2021 09:08:47 +0100 |
parents | 9867e578b1a9 |
children |
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 # |
1288
9867e578b1a9
misc: update copyright years
David Demelier <markand@malikania.fr>
parents:
1115
diff
changeset
|
5 # Copyright (c) 2019-2021 David Demelier <markand@malikania.fr> |
721
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 |