From 7cad663943345f7686f049b7022f306f0f2ab577 Mon Sep 17 00:00:00 2001
From: Andrei Karas <akaras@inbox.ru>
Date: Thu, 4 Jun 2020 00:56:23 +0300
Subject: Use cross platform path to bash in ci scripts

---
 tools/ci/scripts/deheaderS.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'tools/ci/scripts/deheaderS.sh')

diff --git a/tools/ci/scripts/deheaderS.sh b/tools/ci/scripts/deheaderS.sh
index 8b76214f2..6f72ddb50 100755
--- a/tools/ci/scripts/deheaderS.sh
+++ b/tools/ci/scripts/deheaderS.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 export var=$1
 export name=${var%.*}
-- 
cgit v1.2.3-70-g09d2