Make update-assets work on debian and derivatives that use DASH as /bin/sh

This commit is contained in:
Zachary Hall 2023-07-08 13:31:00 -07:00
parent 6430e46088
commit 2912f23307

View file

@ -1,4 +1,4 @@
#!/bin/sh #!/bin/bash
pushd "$(dirname "$0")" pushd "$(dirname "$0")"
if [ -z "$CXX" ]; then if [ -z "$CXX" ]; then
export CXX=g++ export CXX=g++