diff options
| author | Rémi Verschelde | 2016-10-17 08:50:25 +0200 |
|---|---|---|
| committer | Rémi Verschelde | 2016-10-17 20:10:46 +0200 |
| commit | fc8ccd5b8c8b779bffd0f4d7f22f2f964c939163 (patch) | |
| tree | 884aef60419ceb724800fe71c23adc4af238bbdd /tools/scripts/make_glwrapper.py | |
| parent | 89132224a651c0e0d4121270f63decb9a678ff88 (diff) | |
| download | godot-fc8ccd5b8c8b779bffd0f4d7f22f2f964c939163.tar.gz godot-fc8ccd5b8c8b779bffd0f4d7f22f2f964c939163.tar.zst godot-fc8ccd5b8c8b779bffd0f4d7f22f2f964c939163.zip | |
Diffstat (limited to 'tools/scripts/make_glwrapper.py')
| -rw-r--r-- | tools/scripts/make_glwrapper.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/scripts/make_glwrapper.py b/tools/scripts/make_glwrapper.py index f3f8d3983..b4c582f1e 100644 --- a/tools/scripts/make_glwrapper.py +++ b/tools/scripts/make_glwrapper.py @@ -1,4 +1,4 @@ -#! /usr/bin/python +#! /usr/bin/env python import sys if (len(sys.argv)<2): |