#!/bin/sh
#finds the corresponding sources from a set of ipkgs

IPKGDIR=/cdimages/mirror/psilinux/PFN
BUILDDIR=/home/aleph1/armlinux/boards/psion/5mx/PFN/build
SOURCEDIR=/home/aleph1/armlinux/boards/psion/5mx/PFN/source

for file in $IPKGDIR/*.arm.ipk; do
  echo $file
  (cd $SOURCEDIR; dpkg-deb -x `basename $file`; )
done