From 85026a493dc05be229c75fbce1e6dbfabb9dad0f Mon Sep 17 00:00:00 2001
From: Ga_ryo_ <avatarou9@gmail.com>
Date: Tue, 13 Feb 2018 23:50:19 -0800
Subject: [PATCH] fix shebang

---
 galois/install        | 2 +-
 libc-database/install | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/galois/install b/galois/install
index ddd0bfd..82774fc 100755
--- a/galois/install
+++ b/galois/install
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/bin/bash -ex
 
 wget https://web.eecs.utk.edu/~plank/plank/papers/CS-07-593/galois.tar
 
diff --git a/libc-database/install b/libc-database/install
index 8e01c07..149f7ff 100755
--- a/libc-database/install
+++ b/libc-database/install
@@ -1,4 +1,4 @@
-#!/bin/bash -e
+#!/bin/bash -ex
 
 [ -e libc-database ] || git clone https://github.com/niklasb/libc-database