From 3118c46aac593918441d727040c9b04ec7b2e2cc Mon Sep 17 00:00:00 2001
From: Darshit Shah <address@hidden>
Date: Sat, 31 Mar 2018 11:12:25 +0200
Subject: [PATCH] Use /usr/bin/env to find python interpretor

* gnulib-tool.py: Change the shebang line to "#!/usr/bin/env python3".
This way, the right python interpretor is always found irrespective of
the system. This is required since /usr/bin/python is python2 on some
machines and python3 on others
---
 gnulib-tool.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gnulib-tool.py b/gnulib-tool.py
index 32295b897..2aa5a2106 100755
--- a/gnulib-tool.py
+++ b/gnulib-tool.py
@@ -1,4 +1,4 @@
-#!/usr/bin/python
+#!/usr/bin/env python3
 #
 # Copyright (C) 2002-2018 Free Software Foundation, Inc.
 #
-- 
2.16.3