diff options
author | root <root@jones.dk> | 2009-06-26 18:57:51 +0200 |
---|---|---|
committer | root <root@jones.dk> | 2009-06-26 18:57:51 +0200 |
commit | 75bf87a29e5695515854703fce86eafea325b45e (patch) | |
tree | 3931dc43a755904129bb33ee47cb476a5a250e5a | |
parent | 70502df39ec1ea1cdde641f648b231921e2ae261 (diff) | |
parent | 1d9bf159b42a0ef6bce0092e4e4e5240d4e38580 (diff) |
Merge branch 'master' of git://source.jones.dk/bin
-rwxr-xr-x | localdebpool | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/localdebpool b/localdebpool index 746af40..2820662 100755 --- a/localdebpool +++ b/localdebpool @@ -190,6 +190,9 @@ else exit 1 fi +debugprint "Clean dangling symlinks below \"$PRVBASE\" and \"$PUBBASE\"..." +symlinks -dr ${DEBUG:+-v} "$PRVBASE" "$PUBBASE" + # Create/update symlink farms $prvgrpdir and $pubpkgdir # # $PRVBASE/sections/$section/$dist/$section/$package/$pool/$buildhost |