diff options
Diffstat (limited to 'scripts/clean/server/dist.sh')
| -rwxr-xr-x | scripts/clean/server/dist.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/scripts/clean/server/dist.sh b/scripts/clean/server/dist.sh index be8135b8f..50722cb44 100755 --- a/scripts/clean/server/dist.sh +++ b/scripts/clean/server/dist.sh | |||
| @@ -1,3 +1,5 @@ | |||
| 1 | #!/usr/bin/env sh | 1 | #!/bin/sh |
| 2 | |||
| 3 | set -eu | ||
| 2 | 4 | ||
| 3 | rm -rf dist/ | 5 | rm -rf dist/ |