Merge ../projects

diff --combined tools/make/configure
index 4a1349a9d626070d1bb06814f65fd613fbefc01a,e91b31ad2110bd3bd9ff0aa1006b1160c3a26c3e..a92ecbd7e017e19861e06092c2e24bf29f9ae528
--- 1/tools/make/configure
--- 2/tools/make/configure
+++ b/tools/make/configure
@@@ -113,7 -113,7 +113,7 @@@ els
  fi
  
  # check for installation scripts
- files=$(find src -name $paket.preinst)
+ files=$(find -L src -name $paket.preinst)
  files="$files $(find -L src -name $paket.postinst)"
  files="$files $(find -L src -name $paket.prerm)"
  files="$files $(find -L src -name $paket.postrm)"
@@@ -130,11 -130,6 +130,11 @@@ the
  project = $paket
  COPY = ./$paket.cp
  MAKE_PRE
 +      if [ -n "$ARCH" ]
 +      then
 +              echo "arch = $ARCH" >>make.pre
 +              echo "_arch = _${ARCH}" >>make.pre
 +      fi
        echo "make.pre written."
  fi