From 0e4ffb4b678962d5ff7a4a7d8952033bc84725da Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?L=C3=A9o=20Andr=C3=A8s?= Date: Tue, 27 Mar 2018 09:35:12 +0100 Subject: Clean shell scripts (#398) --- scripts/clean/client/dist.sh | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) (limited to 'scripts/clean/client') diff --git a/scripts/clean/client/dist.sh b/scripts/clean/client/dist.sh index ea6f7d644..19b89de77 100755 --- a/scripts/clean/client/dist.sh +++ b/scripts/clean/client/dist.sh @@ -1,4 +1,6 @@ -#!/usr/bin/env sh +#!/bin/sh -cd client || exit -1 +set -eu + +cd client rm -rf compiled/ dist/ dll/ -- cgit v1.2.3