Merge pull request #4333 from jmillikin/update-file-lists-needs-bash

`update_file_lists.sh` depends on Bash features, thus needs Bash sebang.
This commit is contained in:
Feng Xiao 2018-02-26 12:18:48 -08:00 committed by GitHub
commit 325ecff086
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1,4 +1,4 @@
#!/bin/sh
#!/bin/bash
# This script copies source file lists from src/Makefile.am to cmake files.