aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNils Gillmann <ng0@n0.is>2018-05-17 12:30:37 +0000
committerNils Gillmann <ng0@n0.is>2018-05-17 12:30:37 +0000
commit42399e29836ef338bd6452391f3fc62348e6e4fa (patch)
treee97f663c2c6fd73855f82969566f364391cd277b
parent8a24a03937a8e528ba5933c4c1bd724369b84474 (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.am4
-rwxr-xr-xcontrib/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