scripts/arm-magic.sh: switch to /bin/sh

This does not use any special bash stuff.

Signed-off-by: Rosen Penev <rosenp@gmail.com>

diff --git a/scripts/arm-magic.sh b/scripts/arm-magic.sh
index 29ec88ab2f05c19abb79bb525b4b3e03c1567755..b4b0fa94f574dfcaff701089fb521482de3c4a39 100755 (executable)
--- 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
 #