comparison Scripts/lint-options.sh @ 1028:e46348eb3fbd

vanilla: create a generic lint.sh script
author David Demelier <markand@malikania.fr>
date Fri, 30 Aug 2019 21:05:00 +0200
parents ddab65a5b3f5
children 52b36e54f1b7
comparison
equal deleted inserted replaced
1027:34c9fa83dc08 1028:e46348eb3fbd
15 # WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN 15 # WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
16 # ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF 16 # ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF
17 # OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE. 17 # OR IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
18 # 18 #
19 19
20 alias basename="busybox basename" 20 . $(dirname $0)/scripts.subr
21 alias dirname="busybox dirname"
22 alias echo="busybox echo"
23 alias grep="busybox grep"
24 alias realpath="busybox realpath"
25
26 TOP=$(realpath $(dirname $0)/../)
27 PROGNAME=$(basename $0)
28 21
29 check() 22 check()
30 {( 23 {
31 name=$(basename $1).sh 24 vnl_open_build $1
32 25
33 cd $TOP/$1 26 if [ -z "$PKGNAME" ]; then
34 27 exit 1
35 if [ ! -f $name ]; then
36 echo "warning: skipping $pkg" 1>&2
37 return 1
38 fi 28 fi
39 29
40 . ./$name 30 echo "=> checking common options for $PKGNAME"
41 31
42 for o in $PKGOPTIONS; do 32 for o in $PKGOPTIONS; do
43 if ! grep -q $o $TOP/Docs/options.md; then 33 if ! grep -q "^- $o:" $TOP/Docs/options.md; then
44 echo "$pkg: option $o is unknown or custom" 34 echo "note: option $o is unknown or custom" 1>&2
45 fi 35 fi
46 done 36 done
47 )} 37 }
48 38
49 $TOP/Scripts/list.sh $1 | while read -r pkg; do 39 check $1
50 check $pkg
51 done