diff -r 0fd27995241b -r 9ac0a0a7da70 build/Makefile.defs --- 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