BuildSystem: Make port build script use bash as shell

pushd and popd don't work in sh
2024-04-22 21:11:39 +03:00
parent 26922ebb51
commit 47dafe62b8
1 changed files with 1 additions and 1 deletions
--- a/ports/build.sh
+++ b/ports/build.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash

 CURRENT_DIR=$(dirname $(realpath $0))
 pushd "$CURRENT_DIR" >/dev/null