diff options
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 | ||