From f3a3d5aed934cd2fece909366c86e813393567b8 Mon Sep 17 00:00:00 2001
From: Rosen Penev <rosenp@gmail.com>
Date: Sat, 3 Aug 2019 22:58:56 -0700
Subject: [PATCH] bash to sh for two scripts

These don't use any special bash features. They can use regular sh.
---
 tools/install_modules.sh | 2 +-
 tools/package_bin.sh     | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/tools/install_modules.sh b/tools/install_modules.sh
index 0cfa90698..268e09b9f 100755
--- a/tools/install_modules.sh
+++ b/tools/install_modules.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/bin/sh
 
 ##
 ## Author......: See docs/credits.txt
diff --git a/tools/package_bin.sh b/tools/package_bin.sh
index b289cce06..8e109803d 100755
--- a/tools/package_bin.sh
+++ b/tools/package_bin.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/bin/sh
 
 ##
 ## Author......: See docs/credits.txt