Index: Makefile
===================================================================
--- Makefile	(revision 4d3e5a47d39eb0056a6aeb67479f419dfae3400d)
+++ Makefile	(revision 55edaf30bf5443215a1e66ace86cb56aab83c1f2)
@@ -169,4 +169,5 @@
 bios.abs:		bios.elf bios.img
 				misc/mkhd.sh $(CROSS_NM) bios.elf >/tmp/bios.hdr
+				ls -l bios.img
 				cat /tmp/bios.hdr bios.img >bios.abs
 				rm /tmp/bios.hdr
@@ -218,4 +219,5 @@
 midas.abs:		midas.elf midas.img
 				misc/mkhd.sh $(CROSS_NM) midas.elf >/tmp/midas.hdr
+				ls -l midas.img
 				cat /tmp/midas.hdr midas.img >midas.abs
 				rm /tmp/midas.hdr