diff options
author | Holger Weiss <holger@zedat.fu-berlin.de> | 2014-01-20 02:20:28 +0100 |
---|---|---|
committer | Holger Weiss <holger@zedat.fu-berlin.de> | 2014-01-20 03:01:55 +0100 |
commit | a8c9b696f47c8abf777a0a67ee98616bc9a219a9 (patch) | |
tree | fb29c9a313969036c0dc1404fa2ceeaf3d813bba /tools/distclean | |
parent | 9445ce6f5b7167cfa33e32942412c08a6f4d69ee (diff) | |
download | monitoring-plugins-a8c9b696f47c8abf777a0a67ee98616bc9a219a9.tar.gz |
Minor fixes to be amended into "rename" commit
Diffstat (limited to 'tools/distclean')
-rwxr-xr-x | tools/distclean | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/distclean b/tools/distclean index 06d633e9..961cc801 100755 --- a/tools/distclean +++ b/tools/distclean | |||
@@ -6,7 +6,7 @@ | |||
6 | # Please run this script from the top-level directory. | 6 | # Please run this script from the top-level directory. |
7 | 7 | ||
8 | if [ ! -f tools/distclean ]; then | 8 | if [ ! -f tools/distclean ]; then |
9 | echo "Please run this script from the top-level directory of Monitoring-plugins." | 9 | echo "Please run this script from the top-level directory of Monitoring Plugins." |
10 | exit 1 | 10 | exit 1 |
11 | fi | 11 | fi |
12 | 12 | ||