diff options
-rwxr-xr-x | v4l/scripts/make_kconfig.pl | 10 |
1 files changed, 3 insertions, 7 deletions
diff --git a/v4l/scripts/make_kconfig.pl b/v4l/scripts/make_kconfig.pl index 1f286564a..950e620d4 100755 --- a/v4l/scripts/make_kconfig.pl +++ b/v4l/scripts/make_kconfig.pl @@ -405,15 +405,12 @@ disable_config('DVB_FE_CUSTOMISE'); # Hack for check sound/oss/aci.h header -my $mirodep="$kernel/sound/oss/aci.h"; -if (! -e $mirodep) { - my $key="RADIO_MIROPCM20"; +my $fullkernel="$kernel/fs/fcntl.c"; +if (! -e $fullkernel) { print <<"EOF2"; -$key: $mirodep is missing. - ***WARNING:*** You do not have the full kernel sources installed. This does not prevent you from building the v4l-dvb tree if you have the -kernel headers, but the full kernel source is required in order to use +kernel headers, but the full kernel source may be required in order to use make menuconfig / xconfig / qconfig. If you are experiencing problems building the v4l-dvb tree, please try @@ -429,7 +426,6 @@ make all modules_install install Please see your distro's web site for instructions to build a new kernel. EOF2 - $kernopts{$key}='n'; } # Recursively check for broken dependencies |