# HG changeset patch
# User Florian Pose <fp@igh.de>
# Date 1507813303 -7200
# Node ID 61c7f06812478cffee6531d5a9ae2028539e9111
# Parent  adcbb2ad12e386ba16ff7d603ca833bdc9a347e7
Respect bashisms.

diff -r adcbb2ad12e3 -r 61c7f0681247 script/ethercatctl.in
--- a/script/ethercatctl.in	Thu Oct 12 13:22:06 2017 +0200
+++ b/script/ethercatctl.in	Thu Oct 12 15:01:43 2017 +0200
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 
 #------------------------------------------------------------------------------
 #