From a4a51412266d797e670150f6810d5d5061a11cd7 Mon Sep 17 00:00:00 2001
From: Chris Caron <lead2gold@gmail.com>
Date: Mon, 7 Aug 2023 13:21:19 -0400
Subject: [PATCH] scripts to run using /bin/bash, not /bin/sh

---
 bin/checkdone.sh | 2 +-
 bin/test.sh      | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/bin/checkdone.sh b/bin/checkdone.sh
index 9762889138..668fa7c6f7 100755
--- a/bin/checkdone.sh
+++ b/bin/checkdone.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 # -*- coding: utf-8 -*-
 # BSD 3-Clause License
 #
diff --git a/bin/test.sh b/bin/test.sh
index 2218609023..c3e0f66b27 100755
--- a/bin/test.sh
+++ b/bin/test.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 # -*- coding: utf-8 -*-
 # BSD 3-Clause License
 #