From 9a4878cc17d4039939e8df5a2a984cca8028baeb Mon Sep 17 00:00:00 2001 From: Vijay Vasudevan Date: Tue, 15 Mar 2016 18:45:27 -0800 Subject: Rollback of: "Merge changes from github." Change: 117304114 --- configure | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'configure') diff --git a/configure b/configure index 0faf61c67b..2d7ec77aec 100755 --- a/configure +++ b/configure @@ -1,4 +1,4 @@ -#!/usr/bin/env bash +#!/bin/bash ## Set up python-related environment settings while true; do -- cgit v1.2.3