Explorar o código

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.
Khing %!s(int64=9) %!d(string=hai) anos
pai
achega
f9fc56c42a
Modificáronse 1 ficheiros con 1 adicións e 1 borrados
  1. 1 1
      generate_descriptor_proto.sh

+ 1 - 1
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