diff options
| author | John Kessenich <johnkslang@users.noreply.github.com> | 2018-07-02 14:59:54 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-07-02 14:59:54 -0600 |
| commit | 1fa0d86ffb850db90d70b257628cbcf230199bc0 (patch) | |
| tree | cd377dfa1cd05fa597c5c7bc2df394c62877a876 | |
| parent | 87a720a5a7ba8fb2ede50fef57e5d936e5e45e97 (diff) | |
| parent | d56815b487f68d5aae0b77953b35bf774d5ad8b3 (diff) | |
| download | SPIRV-Headers-1fa0d86ffb850db90d70b257628cbcf230199bc0.tar.gz SPIRV-Headers-1fa0d86ffb850db90d70b257628cbcf230199bc0.tar.bz2 SPIRV-Headers-1fa0d86ffb850db90d70b257628cbcf230199bc0.zip | |
Merge pull request #70 from casey/bash-path
Use /usr/bin/env to avoid hardcoding path to bash
| -rwxr-xr-x | tools/buildHeaders/bin/makeHeaders | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/buildHeaders/bin/makeHeaders b/tools/buildHeaders/bin/makeHeaders index d022fa1..bf2c615 100755 --- a/tools/buildHeaders/bin/makeHeaders +++ b/tools/buildHeaders/bin/makeHeaders @@ -1,4 +1,4 @@ -#!/usr/bin/bash +#!/usr/bin/env bash cd ../../include/spirv/unified1 ../../../tools/buildHeaders/build/install/bin/buildSpvHeaders -H spirv.core.grammar.json |