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 | |
| parent | 9445ce6f5b7167cfa33e32942412c08a6f4d69ee (diff) | |
| download | monitoring-plugins-a8c9b696f47c8abf777a0a67ee98616bc9a219a9.tar.gz | |
Minor fixes to be amended into "rename" commit
Diffstat (limited to 'tools')
| -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 | ||