From 2912f23307db3588d478d35f7d0a1aa884d71098 Mon Sep 17 00:00:00 2001
From: Zachary Hall <catmeowmeow36@gmail.com>
Date: Sat, 8 Jul 2023 13:31:00 -0700
Subject: [PATCH] Make update-assets work on debian and derivatives that use
 DASH as /bin/sh

---
 assets/update-assets.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/assets/update-assets.sh b/assets/update-assets.sh
index 7bc0dd8..17d67f1 100755
--- a/assets/update-assets.sh
+++ b/assets/update-assets.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 pushd "$(dirname "$0")"
 if [ -z "$CXX" ]; then
 	export CXX=g++