I frequently run the Ubuntu updates-manager ,

and after that, every time, I need to do a make to re-install my TV tuner driver (like described in here)

But that time, make stops with errors:

_{Following error messages are translated from french}

$ make

make -C /lib/modules/3.2.0-53-generic-pae/build M= modules

make[1]: entering in folder « /usr/src/linux-headers-3.2.0-53-generic-pae »

make[2]: *** No rule to build the target « arch/x86/tools/relocs.c », needed for « arch/x86/tools/relocs ». Stop.

make[1]: *** [archscripts] Erreur 2

make[1]: exiting folder « /usr/src/linux-headers-3.2.0-53-generic-pae »

make: *** [all] Erreur 2

How can I solve this error please ?

For information:

• Ubuntu version is 12.04 (precise)
  


• Kernel Linux is 3.2.0-53-generic-pae



• Content of /usr/src/linux-headers-3.2.0-53-generic/arch/x86/
  
  is similar to /usr/src/linux-headers-3.2.0-52-generic/arch/x86/




• content of folder /usr/src/linux-source-3.2.0 is

  
  
  

  $ ls -la /usr/src/linux-source-3.2.0
  
  total 78020
  
  drwxr-xr-x  4 root root     4096 sept. 21 08:44 .
  
  drwxr-xr-x 74 root root     4096 sept. 21 22:44 ..
  
  drwxr-xr-x 10 root root     4096 sept. 21 08:44 debian
  
  drwxr-xr-x  8 root root     4096 sept. 21 08:44 debian.master
  
  -rw-r--r--  1 root root 79874365 aug.  23 00:11 linux-source-3.2.0.tar.bz2
  
  

  
  
  

  and

  
  
  

  $ find /usr/src/linux-source-3.2.0 -name "relocs.c"
  
  

  
  
  

  returns nothing