aboutsummaryrefslogtreecommitdiff
path: root/contrib
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 /contrib
parent8a24a03937a8e528ba5933c4c1bd724369b84474 (diff)
downloadgnunet-42399e29836ef338bd6452391f3fc62348e6e4fa.tar.gz
gnunet-42399e29836ef338bd6452391f3fc62348e6e4fa.zip
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>
Diffstat (limited to 'contrib')
-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 577924fab..1db5b3091 100644
--- a/contrib/Makefile.am
+++ b/contrib/Makefile.am
@@ -20,7 +20,8 @@ noinst_SCRIPTS = \
20 terminate.py \ 20 terminate.py \
21 pydiffer.py \ 21 pydiffer.py \
22 gnunet_pyexpect.py \ 22 gnunet_pyexpect.py \
23 gnunet_janitor.py 23 gnunet_janitor.py \
24 gnunet-chk.py
24 25
25dist_pkgdata_DATA = \ 26dist_pkgdata_DATA = \
26 gns-bcd.html \ 27 gns-bcd.html \
@@ -50,6 +51,7 @@ EXTRA_DIST = \
50 terminate.py.in \ 51 terminate.py.in \
51 gnunet_pyexpect.py.in \ 52 gnunet_pyexpect.py.in \
52 gnunet_janitor.py.in \ 53 gnunet_janitor.py.in \
54 gnunet-chk.py.in \
53 pydiffer.py.in \ 55 pydiffer.py.in \
54 gnunet-gns-import.sh \ 56 gnunet-gns-import.sh \
55 openvpn-tap32/tapw32/tap0901.sys \ 57 openvpn-tap32/tapw32/tap0901.sys \
diff --git a/contrib/gnunet-chk.py b/contrib/gnunet-chk.py.in
index dba694c34..83e26f244 100755
--- a/contrib/gnunet-chk.py
+++ b/contrib/gnunet-chk.py.in
@@ -1,6 +1,6 @@
1#!/usr/bin/python 1#!@PYTHON@
2# This file is part of GNUnet. 2# This file is part of GNUnet.
3# (C) 2013 Christian Grothoff (and other contributing authors) 3# (C) 2013, 2018 Christian Grothoff (and other contributing authors)
4# 4#
5# GNUnet is free software; you can redistribute it and/or modify 5# GNUnet is free software; you can redistribute it and/or modify
6# it under the terms of the GNU General Public License as published 6# it under the terms of the GNU General Public License as published