You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
18 lines
436 B
18 lines
436 B
14 years ago
|
#! /bin/bash
|
||
|
|
||
|
# lines 4 contains a timestamp...
|
||
|
differences="$(
|
||
|
diff -bU0 <(sed -e '/^# .* is not set$/p' -e '/^$\|^#/d' "$1" | sort) \
|
||
|
<(sed -e '/^# .* is not set$/p' -e '/^$\|^#/d' "$2" | sort) \
|
||
|
| grep '^[-+][^-+]'
|
||
|
)" || true
|
||
|
if [ -n "$differences" ]; then
|
||
|
echo
|
||
|
echo "Changes after running \`make oldconfig':"
|
||
|
echo "$differences"
|
||
|
echo
|
||
|
if echo "$differences" | grep -q '^+' ; then
|
||
|
exit 1
|
||
|
fi
|
||
|
fi
|