diff options
| author |  Feng Xiao <xfxyjwf@gmail.com> | 2018-02-26 12:18:48 -0800 |
|---|---|---|
| committer |  GitHub <noreply@github.com> | 2018-02-26 12:18:48 -0800 |
| commit | 325ecff0869543d74125a1bcd805f52227c1bd28 (patch) | |
| tree | 715d7d559829db81150427e51c2e0c4d74a85f41 | |
| parent | 32db4d375f306367272feda931b562a1fc4c273c (diff) | |
| parent | 2e4c52a096c424651e8592617bc4cf8fb85234e7 (diff) | |
Merge pull request #4333 from jmillikin/update-file-lists-needs-bash
`update_file_lists.sh` depends on Bash features, thus needs Bash sebang.
| -rwxr-xr-x | update_file_lists.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/update_file_lists.sh b/update_file_lists.sh index 9c0fbdc5..15291990 100755 --- a/update_file_lists.sh +++ b/update_file_lists.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/bin/bash # This script copies source file lists from src/Makefile.am to cmake files. |