From 3b16daad1853c69fd2ae768a6ea67786f4d4704e Mon Sep 17 00:00:00 2001
From: Tim Abbott <tabbott@mit.edu>
Date: Thu, 30 Jun 2016 22:34:58 -0700
Subject: [PATCH] provision: Add a shebang line.

---
 tools/provision.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/tools/provision.py b/tools/provision.py
index 0f71a9dde9..c84cb2dd29 100755
--- a/tools/provision.py
+++ b/tools/provision.py
@@ -1,3 +1,4 @@
+#!/usr/bin/env python
 from __future__ import print_function
 import os
 import sys