diff options
| author | Philipp Hagemeister <phihag@phihag.de> | 2013-01-12 22:25:54 +0100 |
|---|---|---|
| committer | Philipp Hagemeister <phihag@phihag.de> | 2013-01-12 22:25:54 +0100 |
| commit | 253d96f2e2a7289755645a1cb17a1be4f36e1222 (patch) | |
| tree | 2c236b3a711d9591b67c6d295987a17e3d96a347 | |
| parent | bbc3e2753a465cf96d19913d160c148464542319 (diff) | |
Force build removal
| -rwxr-xr-x | devscripts/release.sh | 2 |
1 files changed, 1 insertions, 1 deletions
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!" |