diff options
| author | Nils Gillmann <ng0@n0.is> | 2018-05-22 12:30:13 +0000 |
|---|---|---|
| committer | Nils Gillmann <ng0@n0.is> | 2018-05-22 12:30:13 +0000 |
| commit | a49f708711d299604cbf8ec412f8dc7df1970431 (patch) | |
| tree | 240e342156cb468df2878509a67fafcd1b6658da | |
| parent | 922a08fc69525cca89463d2ed524e68b1a3abc3a (diff) | |
+
Signed-off-by: Nils Gillmann <ng0@n0.is>
| -rw-r--r-- | contrib/scripts/gnunet_janitor.py.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/scripts/gnunet_janitor.py.in b/contrib/scripts/gnunet_janitor.py.in index c4bd006879..91d2a43778 100644 --- a/contrib/scripts/gnunet_janitor.py.in +++ b/contrib/scripts/gnunet_janitor.py.in @@ -20,7 +20,7 @@ # Finds any gnunet processes still running in the system and kills them # # gnunet janitor can be used by invoking `make' like this: -# TESTS_ENVIRONMENT='${top_srcdir}/contrib/gnunet_janitor.py &&' make check +# TESTS_ENVIRONMENT='${top_srcdir}/contrib/scripts/gnunet_janitor.py &&' make check from __future__ import print_function import os |