Index: boot/arch/ia64/loader/gefi/HelenOS/Makefile
===================================================================
--- boot/arch/ia64/loader/gefi/HelenOS/Makefile	(revision f1af6797cd3e1de5538915c2c3b7bbd53b57afa8)
+++ boot/arch/ia64/loader/gefi/HelenOS/Makefile	(revision cde485d925ad71041a0d21bd2017a6e1860f19be)
@@ -37,5 +37,5 @@
 
 clean:
-	rm -f *.efi *~ *.o *.so
+	rm -f *.efi *~ *.o *.so *.map *.disass *.bin
 
 .PHONY: install