From 253d96f2e2a7289755645a1cb17a1be4f36e1222 Mon Sep 17 00:00:00 2001 From: Philipp Hagemeister 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!" -- 2.22.2