Makefiles: run realclean as tidy first then clean, as clean likes to delete some...

diff --git a/Makefile b/Makefile
index 1023bf48f3dd7e228a08a503f9481eb1dfca87d9..6734166c4573cc42c1e6a1dcd832719dd1a43506 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -31,4 +31,7 @@ clean:                host_clean pic_clean
                rm -f *~ .*~
 
 tidy:          host_tidy pic_tidy
-realclean:     clean tidy
+
+realclean:
+       $(MAKE) tidy
+       $(MAKE) clean