diff --git a/build-support/target b/build-support/target index 1fbfb31d11..ffb677b681 100755 --- a/build-support/target +++ b/build-support/target @@ -1,4 +1,4 @@ -#!/bin/sh +#!/usr/bin/env bash uname_s=`uname -s` case $uname_s in