2017-11-01 21:44:54 +01:00
|
|
|
CONFIG ?= default-config
|
|
|
|
|
export CONFIG
|
|
|
|
|
|
|
|
|
|
all: $(CONFIG)
|
|
|
|
|
+make -f Makefile.main
|
|
|
|
|
|
2018-12-16 11:57:58 +01:00
|
|
|
run-tests:
|
|
|
|
|
+make -f Makefile.main run-tests
|
|
|
|
|
|
2017-11-01 21:44:54 +01:00
|
|
|
clean:
|
|
|
|
|
+make -f Makefile.main clean
|
|
|
|
|
|
|
|
|
|
fullclean:
|
|
|
|
|
+make -f Makefile.main fullclean
|
|
|
|
|
|
|
|
|
|
.PHONY: all clean fullclean
|
