Add Makefile.defs with common defs

2019-08-30 22:10:06 +02:00
parent d772c6169a
commit 3245260c00
5 changed files with 72 additions and 90 deletions
--- a/11
+++ b/11
@@ -1,14 +1,5 @@
-# Hide full compilation line:
-ifneq ($(V),1)
-  Q?=@
-endif
-# To see full command lines, use make V=1

-CP = cp -a
-GZIP=gzip
-MKDIR = mkdir -p
-RM = rm -f
-RMDIR = rm -rf
+include Makefile.defs
 -include Makefile.platform
 -include .Makefile.options.cache
 include common_arm/Makefile.hal