build/Makefile.defs
branchRCL_3
changeset 18 9ac0a0a7da70
parent 14 04becd199f91
child 21 4376525cdefb
--- a/build/Makefile.defs	Tue May 11 16:07:20 2010 +0300
+++ b/build/Makefile.defs	Tue May 25 12:34:19 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