From edbdeae6233ffcfb9200f5aa42d9c6e4ea4347b8 Mon Sep 17 00:00:00 2001 From: Charles Kerr Date: Wed, 6 Nov 2019 13:47:54 -0600 Subject: [PATCH] fix: use bash, not sh, for code_style.sh script (#1022) The script uses "set -o", which doesn't exist in vanilla sh, causing failure on systems that bind sh to dash rather than bash. This PR makes the bash requirement explicit. --- code_style.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/code_style.sh b/code_style.sh index 4bce5060f..ba09f33db 100755 --- a/code_style.sh +++ b/code_style.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/usr/bin/env bash set -euo pipefail