relink_externals

   1 #!/bin/sh
   2
   3 curdir=`pwd`
   4
   5 for i in paula.*; do
   6     if test -d $curdir/$i/externals; then
   7         cd $curdir/$i/externals
   8         rm -f paula.*
   9         for k in `cat pkglist.txt`; do
  10             ln ../../$k . -s
  11         done
  12     fi
  13 done