diff options
Diffstat (limited to 'process_configs.sh')
-rwxr-xr-x | process_configs.sh | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/process_configs.sh b/process_configs.sh index b620040cc..a946ce4c8 100755 --- a/process_configs.sh +++ b/process_configs.sh @@ -296,6 +296,11 @@ function process_configs() # assume we are in $source_tree/configs, need to get to top level pushd "$(switch_to_toplevel)" &>/dev/null + # The next line is throwaway code for transition to parallel + # processing. Leaving this line in place is harmless, but it can be + # removed the next time anyone updates this function. + [ -f .mismatches ] && rm -f .mismatches + count=0 for cfg in "$SCRIPT_DIR/${PACKAGE_NAME}${KVERREL}${SUBARCH}"*.config do |