From 0e4338fd1d6f4671768f70fff6554400c81f7ab3 Mon Sep 17 00:00:00 2001 From: Chocobozzz Date: Wed, 19 Feb 2020 08:56:24 +0100 Subject: Use bash to run scripts --- scripts/dev/embed.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'scripts/dev/embed.sh') diff --git a/scripts/dev/embed.sh b/scripts/dev/embed.sh index 9b0ef27cf..b4835604e 100755 --- a/scripts/dev/embed.sh +++ b/scripts/dev/embed.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash set -eu -- cgit v1.2.3