+if which readprofile; then
+ map="/boot/System.map-`uname -r`"
+ if [ -f /proc/profile -a -f "$map" ]; then
+ echo generating profiles with 'readprofile'
+ readprofile="readprofile -m $map"
+ fi
+fi
+if [ -z "$readprofile" ]; then
+ echo not using readprofile
+ readprofile=": "
+fi
+