From 1c1349162c489d1f7ed13839546023879d589c8c Mon Sep 17 00:00:00 2001
From: Dave Halter <davidhalter88@gmail.com>
Date: Mon, 13 Jan 2014 13:55:29 +0100
Subject: [PATCH] memory_check.py should be an executable script

---
 scripts/memory_check.py | 1 +
 1 file changed, 1 insertion(+)
 mode change 100644 => 100755 scripts/memory_check.py

diff --git a/scripts/memory_check.py b/scripts/memory_check.py
old mode 100644
new mode 100755
index e77c9dfd..496520dd
--- a/scripts/memory_check.py
+++ b/scripts/memory_check.py
@@ -1,3 +1,4 @@
+#! /usr/bin/env python
 """
 This is a convenience script to test the speed and memory usage of Jedi with
 large libraries.