From a4a51412266d797e670150f6810d5d5061a11cd7 Mon Sep 17 00:00:00 2001 From: Chris Caron 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 97628891..668fa7c6 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 22186090..c3e0f66b 100755 --- a/bin/test.sh +++ b/bin/test.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash # -*- coding: utf-8 -*- # BSD 3-Clause License #