Changeset eb522e8 in mainline for tools/check.sh

Timestamp:

2011-06-01T08:43:42Z (14 years ago)

Author:

Lubos Slovak <lubos.slovak@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

8d6c1f1

Parents:

9e2e715 (diff), e51a514 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Huuuuuge merge from development - all the work actually

File:

• tools/check.sh (moved) (moved from uspace/srv/net/cfg/Makefile ) (2 diffs, 1 prop)

tools/check.sh

@@ +1 @@
+#! /bin/bash
+
 #
-# Copyright (c) 2010 Martin Decky
+# Copyright (c) 2010 Jakub Jermar 
 # All rights reserved.
 #
@@ -27 +29 @@
 #
 
-USPACE_PREFIX = ../../..
-ROOT_PATH = $(USPACE_PREFIX)/..
+if [ $1" " == "-h " ];
+then
+        echo "Perform pre-integration hands-off build of all profiles."
+        echo
+        echo "Syntax:"
+        echo " $0 [-h] [args...]"
+        echo
+        echo " -h        Print this help."
+        echo " args...   All other args are passed to make (e.g. -j 6)"
+        echo
 
-COMMON_MAKEFILE = $(ROOT_PATH)/Makefile.common
-CONFIG_MAKEFILE = $(ROOT_PATH)/Makefile.config
+        exit
+fi
 
--include $(COMMON_MAKEFILE)
--include $(CONFIG_MAKEFILE)
+FAILED=""
+PASSED=""
+PROFILES=""
+DIRS=`find defaults/ -name Makefile.config | sed 's/^defaults\/\(.*\)\/Makefile.config/\1/' | sort`
 
-ifeq ($(CONFIG_NETIF_NIL_BUNDLE),y)
-        LO_SOURCE = lo.netif_nil_bundle
-        NE2K_SOURCE = ne2k.netif_nil_bundle
-else
-        LO_SOURCE = lo.netif_standalone
-        NE2K_SOURCE = ne2k.netif_standalone
-endif
+for D in $DIRS;
+do
+        for H in $DIRS;
+        do
+                if [ `echo $H | grep "^$D\/.*"`x != "x"  ];
+                then
+                        continue 2 
+                fi
+        done
+        PROFILES="$PROFILES $D"
+done
 
-LO_TARGET = lo
-NE2K_TARGET = ne2k
+echo ">>> Going to build the following profiles:"
+echo $PROFILES
 
-.PHONY: all clean
+for P in $PROFILES;
+do
+        echo -n ">>>> Building $P... "
+        ( make distclean && make PROFILE=$P HANDS_OFF=y $1 ) >>/dev/null 2>>/dev/null
+        if [ $? -ne 0 ];
+        then
+                FAILED="$FAILED $P"
+                echo "failed."
+        else
+                PASSED="$PASSED $P"
+                echo "ok."
+        fi
+done
 
-all: $(LO_TARGET) $(NE2K_TARGET)
+echo ">>> Done."
+echo
 
-clean:
-        rm -f $(LO_TARGET) $(NE2K_TARGET)
+echo ">>> The following profiles passed:"
+echo $PASSED
+echo
 
-$(LO_TARGET): $(LO_SOURCE)
-        cp $< $@
+echo ">>> The following profiles failed:"
+echo $FAILED
+echo
 
-$(NE2K_TARGET): $(NE2K_SOURCE)
-        cp $< $@