src/boot.d/08-updatesystem.map

   1 #!/bin/sh
   2 echo "Updating System.map file location"
   3 if [ -L /boot/System.map -a -r /boot/System.map-`uname -r` -a \
   4         ! /boot/System.map -ef /boot/System.map-`uname -r` ]; then
   5         ln -s -f System.map-`uname -r` /boot/System.map
   6 fi
   7 if [ ! -e /boot/System.map -a -r /boot/System.map-`uname -r` ]; then
   8         ln -s -f System.map-`uname -r` /boot/System.map
   9 fi