Change-Id: I2858fdf74e782f425d56653491cdebe83c185d19 Signed-off-by: Patrick Georgi <pgeorgi@google.com> Reviewed-on: https://review.coreboot.org/c/coreboot/+/41208 Tested-by: build bot (Jenkins) <no-reply@coreboot.org> Reviewed-by: HAOUAS Elyes <ehaouas@noos.fr>
		
			
				
	
	
		
			29 lines
		
	
	
		
			752 B
		
	
	
	
		
			Bash
		
	
	
		
			Executable File
		
	
	
	
	
			
		
		
	
	
			29 lines
		
	
	
		
			752 B
		
	
	
	
		
			Bash
		
	
	
		
			Executable File
		
	
	
	
	
| #!/bin/sh
 | |
| # SPDX-License-Identifier: GPL-2.0-or-later
 | |
| #
 | |
| # DESCR: Check that every board has a meaningful board_info.txt
 | |
| 
 | |
| LC_ALL=C export LC_ALL
 | |
| for mobodir in $(git ls-files src/mainboard | sed -n 's,^\(src/mainboard/[^/]*/[^/]*\)/.*$,\1,p'|sort|uniq); do
 | |
|     board_info="$mobodir/board_info.txt"
 | |
|     if ! [ -f "$board_info" ]; then
 | |
|        echo "No $board_info found"
 | |
|        continue
 | |
|     fi
 | |
|     category="$(sed -n 's#^Category: \(.*\)$#\1#p' < "$board_info")"
 | |
|     case "$category" in
 | |
| 	desktop|server|laptop|half|mini|settop|"eval"|sbc|emulation|misc)
 | |
| 	    ;;
 | |
| 	"")
 | |
| 	    echo "$board_info doesn't contain 'Category' tag"
 | |
| 	    continue
 | |
| 	    ;;
 | |
| 	*)
 | |
| 	    echo "$board_info specifies unknown category '$category'"
 | |
| 	    continue
 | |
| 	    ;;
 | |
|     esac
 | |
| done
 | |
| 
 | |
| exit 0
 |