From 1b86cb4e32cc312e9a0bae263bfa0c0ae3341e17 Mon Sep 17 00:00:00 2001
From: Patrick McDermott <patrick.mcdermott@libiquity.com>
Date: Sat, 27 Apr 2019 16:26:11 -0400
Subject: debian/rules: Configure with "--with-sh=/bin/bash"

---
diff --git a/debian/changelog b/debian/changelog
index c09b506..2f80048 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,10 @@
+pro-archman (2.0.1-2) UNRELEASED; urgency=medium
+
+  * Use Bash instead of DASH, to work around a bug in certain versions
+    of DASH.
+
+ -- Patrick McDermott <patrick.mcdermott@libiquity.com>  Sat, 27 Apr 2019 16:23:06 -0400
+
 pro-archman (2.0.1-1) unstable; urgency=medium
 
   * New upstream version.
diff --git a/debian/rules b/debian/rules
index 236aa89..e0a736b 100755
--- a/debian/rules
+++ b/debian/rules
@@ -6,6 +6,10 @@
 %:
 	dh $@ --no-parallel
 
+override_dh_auto_configure:
+	dh_auto_configure -- --with-sh=/bin/bash
+
+
 override_dh_shlibdeps:
 	dh_shlibdeps -l/usr/lib/$(DEB_HOST_MULTIARCH)/pro-archman
 
--
cgit v0.9.1