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.