diff options
author | Léo Andrès <leo@ndrs.fr> | 2018-03-27 09:35:12 +0100 |
---|---|---|
committer | Chocobozzz <me@florianbigard.com> | 2018-03-27 10:35:12 +0200 |
commit | 0e4ffb4b678962d5ff7a4a7d8952033bc84725da (patch) | |
tree | b116dfe4244f645aa1c4740039544010ef7c3194 /scripts/build/server.sh | |
parent | d5b7d9110dd637a7f67ce9e430145314812a8df1 (diff) | |
download | PeerTube-0e4ffb4b678962d5ff7a4a7d8952033bc84725da.tar.gz PeerTube-0e4ffb4b678962d5ff7a4a7d8952033bc84725da.tar.zst PeerTube-0e4ffb4b678962d5ff7a4a7d8952033bc84725da.zip |
Clean shell scripts (#398)
Diffstat (limited to 'scripts/build/server.sh')
-rwxr-xr-x | scripts/build/server.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/scripts/build/server.sh b/scripts/build/server.sh index 811da2154..41b59a212 100755 --- a/scripts/build/server.sh +++ b/scripts/build/server.sh | |||
@@ -1,4 +1,6 @@ | |||
1 | #!/usr/bin/env sh | 1 | #!/bin/sh |
2 | |||
3 | set -eu | ||
2 | 4 | ||
3 | rm -rf ./dist | 5 | rm -rf ./dist |
4 | 6 | ||