Clean workspace only when it was really created

diff --git a/Makefile b/Makefile
index b339a345324eaebbc85f86a61e111d93dd5b125a..a838c9754887e467d3361aa532b729e101d23e5b 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -12,13 +12,13 @@ all:
        rm -rf $(WORKSPACE)
 
 lib: rpp-lib.lib
-       rm -rf $(WORKSPACE)
 
 clean:
        rm -rf $(wildcard $(dir $(WORKSPACE))rpp-lib-workspace.*) rpp-lib.lib
 
 rpp-lib.lib: $(shell find os rpp -name *.[ch])
        $(MAKE) rpp-lib WORKSPACE=$(WORKSPACE)
+       rm -rf $(WORKSPACE)
 
 $(WORKSPACE):
        mkdir -p $(WORKSPACE)