From 1bb223013cc4ee53ca4adf28ca4421cbfa481cf7 Mon Sep 17 00:00:00 2001
From: Olaf Bergmann <bergmann@tzi.org>
Date: Tue, 16 Feb 2016 14:27:14 +0100
Subject: [PATCH] scripts/build.sh: fixed action for Contiki build

With the new Makefile layout, we can simply use the default
parameters for the build.
---
 scripts/build.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/build.sh b/scripts/build.sh
index d2654194..e2b3d75a 100755
--- a/scripts/build.sh
+++ b/scripts/build.sh
@@ -11,7 +11,7 @@ config() {
 
 case "${PLATFORM}" in
     contiki) config "--disable-tests --disable-documentation --disable-examples" && \
-               make -C examples/contiki V=1 contiki all
+               make -C examples/contiki
              ;;
     lwip)    config "--disable-tests --disable-documentation --disable-examples" && \
                make -C examples/lwip lwip lwip-contrib all