From e501167fc92c30bdfe636100147859be5550a5cd Mon Sep 17 00:00:00 2001
From: Bruno Haible <bruno@clisp.org>
Date: Fri, 29 Jul 2022 11:09:00 +0200
Subject: gnulib-tool.py: Fix error in Ubuntu 22.04.

* gnulib-tool.py: Search for python3 in $PATH.
---
 gnulib-tool.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'gnulib-tool.py')

diff --git a/gnulib-tool.py b/gnulib-tool.py
index 0e5a33bf6e..f81501b9c0 100755
--- a/gnulib-tool.py
+++ b/gnulib-tool.py
@@ -1,4 +1,4 @@
-#!/usr/bin/python
+#!/usr/bin/env python3
 #
 # Copyright (C) 2002-2022 Free Software Foundation, Inc.
 #
-- 
cgit v1.2.1