File check-for-config-changes of Package kernel-source (Revision d712a72fed7b5fd60817f583ac9ab527)
Currently displaying revision d712a72fed7b5fd60817f583ac9ab527, show latest
1
#! /bin/bash
2
3
# lines 4 contains a timestamp...
4
differences="$(
5
diff -bU0 <(sed -e '/^# .* is not set$/p' -e '/^$\|^#/d' "$1" | sort) \
6
<(sed -e '/^# .* is not set$/p' -e '/^$\|^#/d' "$2" | sort) \
7
| grep '^[-+][^-+]'
8
)" || true
9
if [ -n "$differences" ]; then
10
echo
11
echo "Changes after running \`make oldconfig':"
12
echo "$differences"
13
echo
14
if echo "$differences" | grep -q '^+' ; then
15
exit 1
16
fi
17
fi
18