From f9fc56c42ae235b06a7c2d26a7dc1e489d3bd459 Mon Sep 17 00:00:00 2001 From: Khing Date: Wed, 7 Sep 2016 14:46:50 +1000 Subject: Fix #2071 replacing /bin/sh with bash On Ubuntu /bin/sh is dash by default, this can cause generate_descriptor_proto.sh fail to execute. --- generate_descriptor_proto.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'generate_descriptor_proto.sh') diff --git a/generate_descriptor_proto.sh b/generate_descriptor_proto.sh index c170c837..668e6d13 100755 --- a/generate_descriptor_proto.sh +++ b/generate_descriptor_proto.sh @@ -1,4 +1,4 @@ -#!/bin/sh +#!/usr/bin/env bash # Run this script to regenerate descriptor.pb.{h,cc} after the protocol # compiler changes. Since these files are compiled into the protocol compiler -- cgit v1.2.3