tidied and tested DRC Serial (renamed it it drcSerial too)

[wiringPi.git] / build

diff --git a/build b/build
index 01fa7067f1aa2db381a5aa7d1693658c8846c87f..e17cf18737abb5d81ae9f603e7c8b11bf4258843 100755 (executable)
--- a/build
+++ b/build
@@ -51,18 +51,30 @@ fi
   echo "WiringPi Library"
   cd wiringPi
   sudo make uninstall
-  make
-  check_make_ok
-  sudo make install
+  if [ x$1 = "xstatic" ]; then
+    make static
+    check_make_ok
+    sudo make install-static
+  else
+    make
+    check_make_ok
+    sudo make install
+  fi
   check_make_ok
 
   echo
   echo "WiringPi Devices Library"
   cd ../devLib
   sudo make uninstall
-  make
-  check_make_ok
-  sudo make install
+  if [ x$1 = "xstatic" ]; then
+    make static
+    check_make_ok
+    sudo make install-static
+  else
+    make
+    check_make_ok
+    sudo make install
+  fi
   check_make_ok
 
   echo