Home
last modified time | relevance | path

Searched refs:MERGE_FILE (Results 1 – 1 of 1) sorted by relevance

/scripts/kconfig/
A Dmerge_config.sh114 for MERGE_FILE in $MERGE_LIST ; do
115 echo "Merging $MERGE_FILE"
116 if [ ! -r "$MERGE_FILE" ]; then
117 echo "The merge file '$MERGE_FILE' does not exist. Exit." >&2
120 CFG_LIST=$(sed -n -e "$SED_CONFIG_EXP1" -e "$SED_CONFIG_EXP2" $MERGE_FILE)
125 NEW_VAL=$(grep -w $CFG $MERGE_FILE)
127 echo Value of $CFG is redefined by fragment $MERGE_FILE:
132 echo Value of $CFG is redundant by fragment $MERGE_FILE:
136 cat $MERGE_FILE >> $TMP_FILE

Completed in 3 milliseconds