From 0e4ffb4b678962d5ff7a4a7d8952033bc84725da Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?L=C3=A9o=20Andr=C3=A8s?= <leo@ndrs.fr>
Date: Tue, 27 Mar 2018 09:35:12 +0100
Subject: Clean shell scripts (#398)

---
 scripts/clean/server/dist.sh | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'scripts/clean/server/dist.sh')

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 @@
-#!/usr/bin/env sh
+#!/bin/sh
+
+set -eu
 
 rm -rf dist/
-- 
cgit v1.2.3