[kernel] r19280 - dists/sid/linux/debian/patches/features/all/rt

[Ben Hutchings]

Author: benh
Date: Sun Jul 22 22:04:57 2012
New Revision: 19280

Log:
Remove outdated filename from rt/check-series diff

Modified:
   dists/sid/linux/debian/patches/features/all/rt/check-series

Modified: dists/sid/linux/debian/patches/features/all/rt/check-series
==============================================================================
--- dists/sid/linux/debian/patches/features/all/rt/check-series	Sun Jul 22 21:04:47 2012	(r19279)
+++ dists/sid/linux/debian/patches/features/all/rt/check-series	Sun Jul 22 22:04:57 2012	(r19280)
@@ -11,4 +11,4 @@
 
 # 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"
+diff -u --label "debian/patches/features/all/rt/series" "$rt_series" "$debian_series"