diff --git a/build-tools b/build-tools
index 3e8c6575..b5bd0675 100755
--- a/build-tools
+++ b/build-tools
@@ -5,6 +5,7 @@ SELF="${BASH_SOURCE[0]}"
 BASE_DIR=$(cd $(dirname "${BASH_SOURCE[0]}") && pwd -P)
 BASE_DIR="${BASE_DIR:-$(pwd)}"
 TOOLS_DIR="${BASE_DIR}/tools"
+SYSTEM_NAME=$(uname -s)
 
 # discount
 function build_discount {
@@ -12,7 +13,11 @@ function build_discount {
     if make clean; then
         make distclean
     fi
-    ./configure.sh --mandir=/usr/local/share/man
+    if [[ "${SYSTEM_NAME}" == "Darwin" ]]; then
+        ./configure.sh --mandir=/usr/local/share/man
+    else
+        ./configure.sh
+    fi
     make
 }