4 commits

Author	SHA1	Message	Date
Jörn-Michael Miehe	661e94aa13	better CLI options	2020-02-18 09:19:17 +01:00
Jörn-Michael Miehe	0022106d97	Add "do_build_watch"	2020-02-18 08:30:52 +01:00
Jörn-Michael Miehe	76aa31c0c6	Add "do_${build_system}_all" and "do_build_all"	2020-02-18 08:29:57 +01:00
Jörn-Michael Miehe	078cafdc39	move build folder	2020-02-18 08:29:08 +01:00