2008-10-14 18:16:00 +02:00
|
|
|
relink() {
|
|
|
|
|
if [ -h "$2" ]; then
|
|
|
|
|
local old=$(readlink "$2")
|
|
|
|
|
[ "$old" = "$1" ] && return 0
|
|
|
|
|
echo "Changing symlink $2 from $old to $1"
|
|
|
|
|
elif [ -e "$2" ]; then
|
|
|
|
|
echo "Replacing file $2 with symlink to $1"
|
|
|
|
|
fi
|
|
|
|
|
rm -f "$2" \
|
|
|
|
|
&& ln -s "$1" "$2"
|
|
|
|
|
}
|
|
|
|
|
|
2008-09-29 18:18:36 +02:00
|
|
|
relink linux-@KERNELRELEASE@@VARIANT@ /usr/src/linux@VARIANT@
|
2008-10-12 00:19:34 +02:00
|
|
|
relink linux-@KERNELRELEASE@@VARIANT@-obj /usr/src/linux@VARIANT@-obj
|
