diff options
author | hovertank3d <[email protected]> | 2025-01-18 14:19:37 +0100 |
---|---|---|
committer | hovertank3d <[email protected]> | 2025-01-18 14:19:37 +0100 |
commit | a642fa25a151cd04175d895e8cd058dc9a56709c (patch) | |
tree | 66dd5939680d5921102045a65daee04fdd8b0808 | |
parent | d734bf6f3f8d1c1f8b5645bc7d57ebd88d0efcab (diff) | |
download | lzcnt.space-a642fa25a151cd04175d895e8cd058dc9a56709c.tar.xz lzcnt.space-a642fa25a151cd04175d895e8cd058dc9a56709c.zip |
change shebang to /bin/bash since push/popd is a bash thing
-rwxr-xr-x | build.sh | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash pushd deps/genhl make |