/usr/src/linux-source-3.13.0/debian/scripts/misc/final-checks is in linux-source-3.13.0 3.13.0-157.207.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 | #!/bin/bash
debian="$1"
abi="$2"
. "$debian/etc/kernelconfig"
fail=0
failure()
{
echo "EE: $@" 1>&2
fail=1
}
abi_check()
{
local abidir="$1"
local arch="$2"
local flavour="$3"
local abidir="$abidir/$arch"
if [ ! -f "$abidir/$flavour" -a \
! -f "$abidir/$flavour.ignore" -a \
! -f "$abidir/ignore" ]
then
failure "$arch/$flavour ABI symbol file missing"
fi
if [ ! -f "$abidir/$flavour.modules" -a \
! -f "$abidir/$flavour.ignore.modules" -a \
! -f "$abidir/ignore.modules" ]
then
failure "$arch/$flavour ABI modules file missing"
fi
if [ ! -f "$abidir/$flavour.retpoline" -a \
! -f "$abidir/$flavour.ignore.retpoline" -a \
! -f "$abidir/ignore.retpoline" ]
then
failure "$arch/$flavour ABI retpoline file missing"
fi
}
for arch in $archs
do
for flavour in $(ls -1 "$debian/config/$arch/config.flavour."*)
do
flavour=$(echo "$flavour" | sed -e 's@.*/config.flavour.@@')
abi_check "$debian/abi/$abi" "$arch" "$flavour"
done
done
exit "$fail"
|