clean-old-stack-libs.sh: pushd seems a bashism

This commit is contained in:
Jens Petersen 2020-05-19 15:28:29 +08:00
parent ca686bacd1
commit dbdb2fcb86

View File

@ -1,4 +1,4 @@
#!/bin/sh
#!/bin/bash
set -e