path: root/tools/
diff options
Diffstat (limited to 'tools/')
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/ b/tools/
index e33b21c289..e02b0e5810 100755
--- a/tools/
+++ b/tools/
@@ -2,7 +2,7 @@
# this is where this script will store downloaded files and check for already
# downloaded files
# will append the target string to the prefix dir mentioned here
# Note that the user running this script must be able to do make install in
@@ -12,7 +12,7 @@ prefix="/usr/local"
# This directory is used to extract all files and to build everything in. It
# must not exist before this script is invoked (as a security measure).
# This script needs to use GNU Make. On Linux systems, GNU Make is invoked
# by running the "make" command, on most BSD systems, GNU Make is invoked