set -e
case "$1" in
config)
echo "Configuring..."
set -e
case "$1" in
config)
echo "Configuring..."
+ pushd config
+ cmake .
+ make
+ popd
config/conf Kconfig
cmake .
;;
config/conf Kconfig
cmake .
;;
compile)
echo "Compile time..."
make
compile)
echo "Compile time..."
make