From dbdb2fcb86719854306d74477ffd1c8b34d8079c Mon Sep 17 00:00:00 2001
From: Jens Petersen <juhpetersen@gmail.com>
Date: Tue, 19 May 2020 15:28:29 +0800
Subject: [PATCH] clean-old-stack-libs.sh: pushd seems a bashism

---
 etc/diskspace/clean-old-stack-libs.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/etc/diskspace/clean-old-stack-libs.sh b/etc/diskspace/clean-old-stack-libs.sh
index 18b5606b..761f9a67 100755
--- a/etc/diskspace/clean-old-stack-libs.sh
+++ b/etc/diskspace/clean-old-stack-libs.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 
 set -e