diff options
author | Nathaniel Graff <nathaniel.graff@sifive.com> | 2019-06-10 17:09:06 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-06-10 17:09:06 +0000 |
commit | 60e6fe541e029b07e59e5c3f312218ebbe73fbdd (patch) | |
tree | 5c0b4f551493711a6c9596feeb16451ce1c3e294 /scripts/open-docs | |
parent | 0a3c3205cb4e68245222e5c28315d3f53ac8c2ff (diff) | |
parent | e79812f58751a78ebfd21806aaa1de2e6fcadff6 (diff) |
Merge pull request #279 from sifive/use-bash
Standardize on bash for shell scripts
Diffstat (limited to 'scripts/open-docs')
-rwxr-xr-x | scripts/open-docs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/open-docs b/scripts/open-docs index 82d0f91..8ad5299 100755 --- a/scripts/open-docs +++ b/scripts/open-docs @@ -1,4 +1,4 @@ -#!/usr/bin/env sh +#!/bin/bash SDK_PATH="$( cd "$(dirname "$0")/.." ; pwd -P )" DOCS_PATH=$SDK_PATH/doc/html/index.html |