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 /contrib | |
parent | 8a24a03937a8e528ba5933c4c1bd724369b84474 (diff) | |
download | gnunet-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.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 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 | ||
25 | dist_pkgdata_DATA = \ | 26 | dist_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 |