GNOME Bugzilla – Bug 722355
#!/usr/bin/python in tools/fix_gir.py
Last modified: 2014-01-31 03:42:05 UTC
Some systems may not have python installed in /usr/bin. Using /usr/bin/env to find python is more portable. Can we change it to #!/usr/bin/env python?
Created attachment 266514 [details] [review] build: run fix_gir.py with $(PYTHON) -- Good catch, thanks. However, /usr/bin/env might pick a python executable different from the one found by ./configure. I'd rather change the caller to directly call $(PYTHON).
This patch works.
Attachment 266514 [details] pushed as 42e6418 - build: run fix_gir.py with $(PYTHON)