diff options
Diffstat (limited to 'erts/preloaded/Makefile')
-rw-r--r-- | erts/preloaded/Makefile | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/erts/preloaded/Makefile b/erts/preloaded/Makefile index 4235a7fe57..31fdeb96c5 100644 --- a/erts/preloaded/Makefile +++ b/erts/preloaded/Makefile @@ -18,7 +18,6 @@ # include $(ERL_TOP)/make/target.mk - SUB_DIRECTORIES = src include $(ERL_TOP)/make/otp_subdir.mk |