From 253d96f2e2a7289755645a1cb17a1be4f36e1222 Mon Sep 17 00:00:00 2001
From: Philipp Hagemeister <phihag@phihag.de>
Date: Sat, 12 Jan 2013 22:25:54 +0100
Subject: [PATCH] Force build removal

---
 devscripts/release.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/devscripts/release.sh b/devscripts/release.sh
index 543634ce1..bb3180b26 100755
--- a/devscripts/release.sh
+++ b/devscripts/release.sh
@@ -81,6 +81,6 @@ ROOT=$(pwd)
     git push "$ROOT" gh-pages
     git push "$ORIGIN_URL" gh-pages
 )
-rm -r build
+rm -rf build
 
 echo "\n### DONE!"