From 1c0e687069375f4cc8f38d2aacb02555b543b9eb Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Tue, 27 Jun 2017 13:03:01 +0100
Subject: [PATCH] Use /bin/bash instead of /usr/bin/bash.

---
 scripts/generate_small_db.sh | 2 +-
 scripts/merge_dbs.sh         | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/scripts/generate_small_db.sh b/scripts/generate_small_db.sh
index 047718a..519e756 100755
--- a/scripts/generate_small_db.sh
+++ b/scripts/generate_small_db.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/bash
+#!/bin/bash
 
 # Usage:
 # ./generate_small_db.sh [BASEDIR] [DBPATH] [EXTENSIONCRAWLER]
diff --git a/scripts/merge_dbs.sh b/scripts/merge_dbs.sh
index b09d0d9..f11f7e5 100755
--- a/scripts/merge_dbs.sh
+++ b/scripts/merge_dbs.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/bash
+#!/bin/bash
 FROM_DB=$1
 TO_DB=$2