diff options
author | Pawel Hajdan, Jr <phajdan.jr@gentoo.org> | 2013-06-21 14:32:11 +0200 |
---|---|---|
committer | Pawel Hajdan, Jr <phajdan.jr@gentoo.org> | 2013-06-21 14:32:11 +0200 |
commit | f2329213c9f95b809a704608eaa0270f60c97bba (patch) | |
tree | 7a0d9400aa6fcec2f48fa4288faa8e95c9ea05df /maintainer-timeout.py | |
parent | Apply feedback from gentoo-dev: (diff) | |
download | arch-tools-f2329213c9f95b809a704608eaa0270f60c97bba.tar.gz arch-tools-f2329213c9f95b809a704608eaa0270f60c97bba.tar.bz2 arch-tools-f2329213c9f95b809a704608eaa0270f60c97bba.zip |
Use python2 as interpreter
Fixes Gentoo bug #429320 by Pacho Ramos.
Diffstat (limited to 'maintainer-timeout.py')
-rwxr-xr-x | maintainer-timeout.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/maintainer-timeout.py b/maintainer-timeout.py index 6287bec..ad5593f 100755 --- a/maintainer-timeout.py +++ b/maintainer-timeout.py @@ -1,4 +1,4 @@ -#!/usr/bin/env python +#!/usr/bin/env python2 # Copyright 2012 Gentoo Foundation # Distributed under the terms of the GNU General Public License v2 |