build/Makefile.defs
changeset 26 dc7c549001d5
parent 21 2a9601315dfc
child 46 4376525cdefb
child 50 023eef975703
--- a/build/Makefile.defs	Fri May 14 15:47:24 2010 +0300
+++ b/build/Makefile.defs	Thu May 27 12:49:31 2010 +0300
@@ -56,6 +56,7 @@
     DEVNULL = /dev/null
     MKDIR = if [ ! -d $(1)]; then mkdir $(1); fi
     RMDIR = if [ -d $(1)]; then rmdir $(1); fi
+    DELTREE = if [ -d $(1)]; then rm -fr $(1); fi
 
   else
     # CMD.exe definitions
@@ -72,6 +73,7 @@
     DEVNULL = NUL
     MKDIR = if not exist $(1) mkdir  $(1)
     RMDIR = if exist $(1) rmdir  $(1)
+    DELTREE = if exist $(1) rmdir /S/Q $(1)
 
   endif