From e37e2f0cf1be1d31d4e056de1a9177221b6a78f0 Mon Sep 17 00:00:00 2001
From: Rosen Penev <rosenp@gmail.com>
Date: Tue, 31 Dec 2019 18:07:05 -0800
Subject: [PATCH] scripts/arm-magic.sh: switch to /bin/sh

This does not use any special bash stuff.

Signed-off-by: Rosen Penev <rosenp@gmail.com>
---
 scripts/arm-magic.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/arm-magic.sh b/scripts/arm-magic.sh
index 29ec88ab2f..b4b0fa94f5 100755
--- a/scripts/arm-magic.sh
+++ b/scripts/arm-magic.sh
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/bin/sh
 #
 #   Empty/wrong machtype-workaround generator
 #