CONFIG_ARCH gives false positives for CONFIG_ARCH_X86_64_PGTBL_LOC so use a different string: 'CONFIG_MAINBOARD_DIR'. Change-Id: Ie5d4fc4693bc303afb16884c53c9ca4d1778a5cb Signed-off-by: Arthur Heymans <arthur@aheymans.xyz> Reviewed-on: https://review.coreboot.org/c/coreboot/+/74220 Reviewed-by: Lean Sheng Tan <sheng.tan@9elements.com> Tested-by: build bot (Jenkins) <no-reply@coreboot.org> Reviewed-by: Maximilian Brune <maximilian.brune@9elements.com>
		
			
				
	
	
		
			22 lines
		
	
	
		
			516 B
		
	
	
	
		
			Bash
		
	
	
		
			Executable File
		
	
	
	
	
			
		
		
	
	
			22 lines
		
	
	
		
			516 B
		
	
	
	
		
			Bash
		
	
	
		
			Executable File
		
	
	
	
	
| #!/usr/bin/env sh
 | |
| #
 | |
| # SPDX-License-Identifier: GPL-2.0-only
 | |
| 
 | |
| # DESCR: Check that saved config files are miniconfigs
 | |
| 
 | |
| LINTDIR="$(
 | |
|   cd -- "$(dirname "$0")" > /dev/null 2>&1 || return
 | |
|   pwd -P
 | |
| )"
 | |
| 
 | |
| # shellcheck source=helper_functions.sh
 | |
| . "${LINTDIR}/helper_functions.sh"
 | |
| 
 | |
| SYMBOLS='CONFIG_MAINBOARD_DIR\|CONFIG_MAINBOARD_HAS_'
 | |
| 
 | |
| #look for a couple of things that should only be set by select keywords
 | |
| for file in \
 | |
| 	$(${GREP_FILES} -l "$SYMBOLS" configs) ; do \
 | |
| 		echo "Error: $file seems to be a full config"; \
 | |
| 	done
 |