commit 4f79348da3e12e4d020d8de5c00e5159c3bfce52
Author: Jorge L. Florit <jlflorit@gmail.com>
Date:   Tue Feb 25 17:22:54 2014 +0000

    Avoid to delete the DEVICES file with make clean_all

diff --git a/Makefile b/Makefile
index 3406874..30d9800 100644
--- a/Makefile
+++ b/Makefile
@@ -164,7 +164,7 @@ endef
 define clean_all
 	rm -rf $(BUILD_DIR)/*
 	rm -f .checkout_*
-	rm -f $(IMAGES)/*
+	rm -f $(IMAGES)/*.bin $(IMAGES)/IMAGES
 endef
 
 define clean_target