makefile change

This commit is contained in:
simonzhangsz committed 2024-09-27 15:55:26 +08:00
1 parent e7b150bbd3
commit cd90d55d12
3 files changed
+8 -8

No files matched your search

+6 -6
View File
@@ -258,7 +258,7 @@ clean:
## indent Makefile.indent
##
##--------------------------------------
include Makefile.indent
include $(MAKE_INCLUDE)/Makefile.indent
indent:
@chmod 777 $(SRC_FULL_PATH)
@@ -272,7 +272,7 @@ indent:
## splint makefile.splint
##
##--------------------------------------
include Makefile.splint
include $(MAKE_INCLUDE)/Makefile.splint
SPLINT_FLAG_SWITCH ?= off
@@ -291,7 +291,7 @@ endif
## doc Makefile.doxygen
##
##--------------------------------------
include Makefile.doxygen
include $(MAKE_INCLUDE)/Makefile.doxygen
doc:
@chmod 777 $(SRC_FULL_PATH)
@@ -305,21 +305,21 @@ doc:
## backup Makefile.backup
##
##--------------------------------------
include Makefile.backup
include $(MAKE_INCLUDE)/Makefile.backup
##--------------------------------------
##
## cov Makefile.cov
##
##--------------------------------------
include Makefile.cov
include $(MAKE_INCLUDE)/Makefile.cov
##--------------------------------------
##
## usage Makefile.usage
##
##--------------------------------------
include Makefile.usage
include $(MAKE_INCLUDE)/Makefile.usage
##--------------------------------------
##