blob: 457009e4097363bc900b8cfaa8c25bc95f342eff (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
--- scripts/do-patch-and-copy.old 2012-11-06 23:18:20.000000000 +0000
+++ scripts/do-patch-and-copy 2012-11-06 23:18:54.000000000 +0000
@@ -36,7 +36,7 @@
# lndir has the advantage to be way more quicker and it is also very easy
# to create relative symbolic links which is nicer when we create a source
# snapshot for publication.
- FILESRELTODSTDIR=`python -c "import os.path; print os.path.relpath('${FILESDIR}','${DSTDIR}')"`
+ FILESRELTODSTDIR=`python -c "import os.path; prefix = os.path.commonprefix([ '${FILESDIR}', '${DSTDIR}' ]); print '/'.join([ '/'.join([ '..' for _ in '${DSTDIR}'[len(prefix):].split('/') ]), '${FILESDIR}'[len(prefix):] ]);"`
pushd $DSTDIR/.. > /dev/null
lndir -silent $FILESRELTODSTDIR $DSTDIR
popd > /dev/null
|
