diff options
Diffstat (limited to 'pike')
| -rwxr-xr-x | pike/initialize.sh | 2 | ||||
| -rwxr-xr-x | pike/run.sh | 2 | ||||
| -rwxr-xr-x | pike/stop.sh | 2 |
3 files changed, 3 insertions, 3 deletions
diff --git a/pike/initialize.sh b/pike/initialize.sh index 6ce7d40e..c079088f 100755 --- a/pike/initialize.sh +++ b/pike/initialize.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/bin/sh # Copyright (c) 2017-2018 Wind River Systems, Inc. # # Licensed under the Apache License, Version 2.0 (the "License"); diff --git a/pike/run.sh b/pike/run.sh index c3c962ee..c4ac483a 100755 --- a/pike/run.sh +++ b/pike/run.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/bin/sh # Copyright (c) 2017-2018 Wind River Systems, Inc. # # Licensed under the Apache License, Version 2.0 (the "License"); diff --git a/pike/stop.sh b/pike/stop.sh index 38d101d5..6343dd1b 100755 --- a/pike/stop.sh +++ b/pike/stop.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/bin/sh # Copyright (c) 2017-2018 Wind River Systems, Inc. # # Licensed under the Apache License, Version 2.0 (the "License"); |