updated Makefile to ensure that the build will fail in case of errors

author Luigi Pinca <luigipinca@gmail.com>

Fri, 5 Apr 2013 16:57:14 +0000 (18:57 +0200)

committer Luigi Pinca <luigipinca@gmail.com>

Fri, 5 Apr 2013 16:57:14 +0000 (18:57 +0200)
author Luigi Pinca <luigipinca@gmail.com>
Fri, 5 Apr 2013 16:57:14 +0000 (18:57 +0200)
committer Luigi Pinca <luigipinca@gmail.com>
Fri, 5 Apr 2013 16:57:14 +0000 (18:57 +0200)
diff --git a/Makefile b/Makefile

index 3c11be8f921a5c7c12c82652948b25f86534112b..65ed692a2dcf5dea27bbe83833c0394ed5097d41 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -1,3 +1,5 @@
+SHELL=/bin/bash -o pipefail
+
  default:
         @:
author	Luigi Pinca <luigipinca@gmail.com>
	Fri, 5 Apr 2013 16:57:14 +0000 (18:57 +0200)
committer	Luigi Pinca <luigipinca@gmail.com>
	Fri, 5 Apr 2013 16:57:14 +0000 (18:57 +0200)