diff --git a/source-post.sh b/source-post.sh deleted file mode 100644 index ea9c15e2..00000000 --- a/source-post.sh +++ /dev/null @@ -1,13 +0,0 @@ -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" -} - -relink linux-@KERNELRELEASE@@SRCVARIANT@ /usr/src/linux@SRCVARIANT@