From a642fa25a151cd04175d895e8cd058dc9a56709c Mon Sep 17 00:00:00 2001
From: hovertank3d <isk@lzcnt.space>
Date: Sat, 18 Jan 2025 14:19:37 +0100
Subject: change shebang to /bin/bash since push/popd is a bash thing

---
 build.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'build.sh')

diff --git a/build.sh b/build.sh
index cbe0dfe..42d2c23 100755
--- a/build.sh
+++ b/build.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 
 pushd deps/genhl
 make
-- 
cgit v1.2.3