From 4c85a08666796faad743a47b63d350132d5c0c90 Mon Sep 17 00:00:00 2001 From: Geoffrey Irving Date: Wed, 16 Mar 2016 12:20:34 -0800 Subject: Rollforward of "Merge changes from github." Change: 117375570 --- configure | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'configure') diff --git a/configure b/configure index 2d7ec77aec..0faf61c67b 100755 --- a/configure +++ b/configure @@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash ## Set up python-related environment settings while true; do -- cgit v1.2.3