diff options
| -rw-r--r-- | libraries/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/libraries/Makefile b/libraries/Makefile index 98cc8bf38d..ffebff69f2 100644 --- a/libraries/Makefile +++ b/libraries/Makefile @@ -1,5 +1,6 @@ dir = libraries TOP = .. +SPEC_TARGETS = 1 include $(TOP)/mk/sub-makefile.mk .PHONY: 1 |