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 f86c184997a45bb99e3da039126d25ceb13bb3a6)
@@ -37,5 +37,5 @@
 
 clean:
-	rm -f *.efi *~ *.o *.so
+	rm -f *.efi *~ *.o *.so *.map *.disass *.bin
 
 .PHONY: install