diff options
| author |   Alexis de Talhouët <adetalhouet89@gmail.com> | 2017-03-08 17:33:55 -0500 |
|---|---|---|
| committer | Alexis de Talhouët <adetalhouet89@gmail.com> | 2017-03-08 22:37:17 +0000 |
| commit | a644558cdcd51b9198c7723bfb378a3b1753fb7a (patch) | |
| tree | c6cbc97d785e44118c743617f318144b963ddf19 /.pydevproject | |
| parent | 36771967c477f75206e15555f839ac23900172be (diff) | |
Use #!/bin/bash to use [[
[[ is a bash-builtin command, hence it is failing to be run
in a sh script.
Failure seen:
./startup.sh: 13: ./startup.sh: [[: not found
Change-Id: I922d4627dc3ea371d3cdd94bdc1135c58c2a40c6
Signed-off-by: Alexis de Talhouët <adetalhouet89@gmail.com>
Diffstat (limited to '.pydevproject')
0 files changed, 0 insertions, 0 deletions