Index: ipk/make-ipk
===================================================================
--- ipk/make-ipk	(revision 11865)
+++ ipk/make-ipk	(revision 11866)
@@ -145,8 +145,10 @@
 
 for DIR in $ALLOWED; do
+	echo cp "$DIR"_*
 	cp -a "$HOMEDIR"/source/"$DIR"_* "$HOMEDIR"/BUILD
 done
 
 for DIR in $ALLOWED; do
+	echo cp "$DIR"_*
 	cp -a "$HOMEDIR"/source."$CPUTYPE"/"$DIR"_* "$HOMEDIR"/BUILD
 done