Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Make build_docker.sh portable again (#308)
Last commit made the script break on macOS. From `man sed` (On Linux): ``` -E, -r, --regexp-extended use extended regular expressions in the script (for portability use POSIX -E). ```
- Loading branch information