# rebuild SWTSEG

   echo "Rebuilding swtseg"
   # nothing to do
