avoid deleting the lib/empty file

diff --git a/Makefile b/Makefile
index 56bfb40d1834ca508673139c3a29cbef1aaedaed..a47439b87daff338d28685d89987e7d248ae5469 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -48,7 +48,7 @@ clean:
        rm -f crt/*.o
        rm -f $(OBJS)
        rm -f $(LOBJS)
-       rm -f $(ALL_LIBS) lib/*
+       rm -f $(ALL_LIBS) lib/*.[ao] lib/*.so
        rm -f $(ALL_TOOLS)
        rm -f $(GENH) 
        rm -f include/bits