diff --git a/debian/patches/features/all/rt/check-series b/debian/patches/features/all/rt/check-series new file mode 100755 index 000000000..261dd8dc0 --- /dev/null +++ b/debian/patches/features/all/rt/check-series @@ -0,0 +1,17 @@ +#! /bin/sh + +debian_series="$(mktemp)" +rt_series="$(mktemp)" + +trap 'rm "$debian_series" "$rt_series"' INT QUIT EXIT + +# Pick all featureset=rt patches +grep "featureset=rt$" debian/patches/series/base-extra > "$debian_series" + +# Remove comments and empty lines. Drop localversion patch as uname version +# shouldn't be touched. Reformat to match series format. +sed -r -e 's/ *#.*//; /^$/d; /^localversion.patch$/d; s,.*,+ features/all/rt/& featureset=rt,' "debian/patches/features/all/rt/series" > "$rt_series" + +# removed lines are OK if the rt patch contains fixes that are applied on +# featureset=none kernels, too. +diff -u --label "debian/patches/features/all/rt/series" --label "debian/patches/series/base-extra" "$rt_series" "$debian_series"