diff options
Diffstat (limited to 'pike/run.sh')
-rwxr-xr-x | pike/run.sh | 2 |
1 files changed, 1 insertions, 1 deletions
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"); |