diff options
| -rw-r--r-- | src/bootstrap/mk/Makefile.in | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/bootstrap/mk/Makefile.in b/src/bootstrap/mk/Makefile.in index 61d0e254074..0762ed98472 100644 --- a/src/bootstrap/mk/Makefile.in +++ b/src/bootstrap/mk/Makefile.in @@ -52,7 +52,11 @@ check-cargotest: dist: $(Q)$(BOOTSTRAP) --step dist install: +ifeq (root user, $(USER) $(patsubst %,user,$(SUDO_USER))) + $(Q)echo "'sudo make install' is not supported currently." +else $(Q)$(BOOTSTRAP) --step install +endif tidy: $(Q)$(BOOTSTRAP) --step check-tidy --stage 0 |