MT#55283 Replace bash shebangs with sh

There are no bash features in these scripts, and some distributions
don't install bash by default.

closes #1685

Change-Id: Ic9cb92ac5975f951f843cbeb3c50293f13f72efc
pull/1692/head
Orgad Shaneh 2 years ago committed by Richard Fuchs
parent 1a28b73a2d
commit a92d79ecc3

@ -1,4 +1,4 @@
#!/bin/bash
#!/bin/sh
TARGET=$1
ROOT=$(echo "$TARGET" | sed 's/\.h$//')
if test "x$MAKE" = x; then

@ -1,4 +1,4 @@
#!/bin/bash
#!/bin/sh
if test "$1" != magic; then
echo

Loading…
Cancel
Save