2 boards_base=${wildcard board_*}
6 for bi in ${boards}; do $(MAKE) -C $$bi; done
9 for bi in ${boards}; do $(MAKE) -C $$bi clean; done
12 # The USB example is not made by default, as it downloads stuff
13 # for the vhci library, it fails the debian policy on being able
17 make -C extra_board_usb