Loading scripts/headers_install.sh +2 −22 Original line number Diff line number Diff line Loading @@ -64,30 +64,10 @@ configs=$(sed -e ' d ' $OUTFILE) # The entries in the following list do not result in an error. # Please do not add a new entry. This list is only for existing ones. # The list will be reduced gradually, and deleted eventually. (hopefully) # # The format is <file-name>:<CONFIG-option> in each line. config_leak_ignores=" " for c in $configs do leak_error=1 for ignore in $config_leak_ignores do if echo "$INFILE:$c" | grep -q "$ignore$"; then leak_error= break fi done if [ "$leak_error" = 1 ]; then echo "error: $INFILE: leak $c to user-space" >&2 exit 1 fi done rm -f $TMPFILE Loading Loading
scripts/headers_install.sh +2 −22 Original line number Diff line number Diff line Loading @@ -64,30 +64,10 @@ configs=$(sed -e ' d ' $OUTFILE) # The entries in the following list do not result in an error. # Please do not add a new entry. This list is only for existing ones. # The list will be reduced gradually, and deleted eventually. (hopefully) # # The format is <file-name>:<CONFIG-option> in each line. config_leak_ignores=" " for c in $configs do leak_error=1 for ignore in $config_leak_ignores do if echo "$INFILE:$c" | grep -q "$ignore$"; then leak_error= break fi done if [ "$leak_error" = 1 ]; then echo "error: $INFILE: leak $c to user-space" >&2 exit 1 fi done rm -f $TMPFILE Loading