2022-08-03 08:53:30 +02:00
|
|
|
#!/bin/bash
|
|
|
|
|
|
2022-08-19 11:35:58 +02:00
|
|
|
set -e
|
|
|
|
|
|
2022-08-03 08:53:30 +02:00
|
|
|
case "$1" in
|
|
|
|
|
all)
|
|
|
|
|
make all -j -f loader.mk USER_FLAGS="$USER_FLAGS"
|
|
|
|
|
make all -j -f app.mk USER_FLAGS="$USER_FLAGS"
|
|
|
|
|
;;
|
|
|
|
|
clean)
|
|
|
|
|
make clean -f loader.mk
|
|
|
|
|
make clean -f app.mk
|
|
|
|
|
;;
|
|
|
|
|
esac
|
