[PlanetCCRMA] kernel-rt for armv7hl

[Jiri Kastner]

resolved
changed

%if %{with_rt}
# We should modify the Makefile.config to deal with the realtime kernel,
# for now do this
cp -p kernel-%{version}-x86_64.config kernel-%{version}-x86_64-rt.config
cp -p kernel-%{version}-i686.config kernel-%{version}-i686-rt.config
cp -p kernel-%{version}-i686-PAE.config kernel-%{version}-i686-
rtPAE.config
%endif

to

%if %{with_rt}
# We should modify the Makefile.config to deal with the realtime kernel,
# for now do this
cp -p kernel-%{version}-x86_64.config kernel-%{version}-x86_64-rt.config
cp -p kernel-%{version}-i686.config kernel-%{version}-i686-rt.config
cp -p kernel-%{version}-i686-PAE.config kernel-%{version}-i686-
rtPAE.config
cp -p kernel-%{version}-armv7hl.config kernel-%{version}-armv7hl-rt.config
cp -p kernel-%{version}-armv7hl-lpae.config kernel-%{version}-armv7hl-
rtlpae.config
%endif

jiri