From 7cb83d15244fd7e7701a0474186977bee819b2c8 Mon Sep 17 00:00:00 2001
From: Maxime St-Pierre <maxime.st-pierre.3@ens.etsmtl.ca>
Date: Thu, 17 May 2018 23:18:43 -0400
Subject: [PATCH] Add condition for failed bash command

---
 dev.sh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/dev.sh b/dev.sh
index 6c842bd9..5c5e9c51 100755
--- a/dev.sh
+++ b/dev.sh
@@ -1,5 +1,7 @@
 #!/bin/bash
 
+set -e
+
 PHPBIN=php7.2
 
 DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"