diff options
author | Alexander Köplinger <alex.koeplinger@outlook.com> | 2018-10-16 20:12:13 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-10-16 20:12:13 +0300 |
commit | 7a505f2e4005b1a47bba0d3e62f5ccde86f6fa25 (patch) | |
tree | 804997be0698b296d5fda9d80ec52c6642d547dd /mcs/Makefile | |
parent | 0fd450ac6b52ce60f8697a451a8c914e1b238ad4 (diff) |
[mcs] Fix platform-specific build of "build" profile and remove more remnants of the "basic" profile (#11185)
The platform specific build got lost in 8d8fd97dbfc6f4213e0fe9fca7574808dd8496d3 but we need it for monolite. The remnants of the "basic" profile are no longer needed.
Diffstat (limited to 'mcs/Makefile')
-rw-r--r-- | mcs/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mcs/Makefile b/mcs/Makefile index fc041e3a070..ebf2b845708 100644 --- a/mcs/Makefile +++ b/mcs/Makefile @@ -35,7 +35,7 @@ all-local $(STD_TARGETS:=-local): @: dir-check: - @if [ "$(NO_DIR_CHECK)" = "" -a "$(PROFILE)" != "basic" ]; then $(MAKE) -C ../runtime; fi + @if [ "$(NO_DIR_CHECK)" = "" ]; then $(MAKE) -C ../runtime; fi # fun specialty targets |