diff options
author | Nils Gillmann <ng0@n0.is> | 2018-05-17 12:30:37 +0000 |
---|---|---|
committer | Nils Gillmann <ng0@n0.is> | 2018-05-17 12:30:37 +0000 |
commit | 42399e29836ef338bd6452391f3fc62348e6e4fa (patch) | |
tree | e97f663c2c6fd73855f82969566f364391cd277b | |
parent | 8a24a03937a8e528ba5933c4c1bd724369b84474 (diff) |
Opportunisticly rename gnunet-chk.py to let its python invokation line be generated (py.in), and assume that it is not supposed to be installed
Signed-off-by: Nils Gillmann <ng0@n0.is>
-rw-r--r-- | contrib/Makefile.am | 4 | ||||
-rwxr-xr-x | contrib/gnunet-chk.py.in (renamed from contrib/gnunet-chk.py) | 4 |
2 files changed, 5 insertions, 3 deletions
diff --git a/contrib/Makefile.am b/contrib/Makefile.am index 577924fab4..1db5b3091b 100644 --- a/contrib/Makefile.am +++ b/contrib/Makefile.am @@ -20,7 +20,8 @@ noinst_SCRIPTS = \ terminate.py \ pydiffer.py \ gnunet_pyexpect.py \ - gnunet_janitor.py + gnunet_janitor.py \ + gnunet-chk.py dist_pkgdata_DATA = \ gns-bcd.html \ @@ -50,6 +51,7 @@ EXTRA_DIST = \ terminate.py.in \ gnunet_pyexpect.py.in \ gnunet_janitor.py.in \ + gnunet-chk.py.in \ pydiffer.py.in \ gnunet-gns-import.sh \ openvpn-tap32/tapw32/tap0901.sys \ diff --git a/contrib/gnunet-chk.py b/contrib/gnunet-chk.py.in index dba694c34b..83e26f2441 100755 --- a/contrib/gnunet-chk.py +++ b/contrib/gnunet-chk.py.in @@ -1,6 +1,6 @@ -#!/usr/bin/python +#!@PYTHON@ # This file is part of GNUnet. -# (C) 2013 Christian Grothoff (and other contributing authors) +# (C) 2013, 2018 Christian Grothoff (and other contributing authors) # # GNUnet is free software; you can redistribute it and/or modify # it under the terms of the GNU General Public License as published |