Skip to content

Commit 5ecb8e2

Browse files
authored
When using mismatched deps version, add a removal suggestion (#36247)
1 parent 6b2ffd3 commit 5ecb8e2

File tree

1 file changed

+3
-0
lines changed

1 file changed

+3
-0
lines changed

deps/tools/uninstallers.mk

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -28,4 +28,7 @@ $(addprefix version-check-,$(DEP_LIBS_STAGED)) : version-check-% : install-%
2828
[ "$(UNINSTALL_$*)" != "`cat $(build_prefix)/manifest/$*`" ]) ; then \
2929
echo "WARNING: using mismatched version for $$(cat $(build_prefix)/manifest/$*):" ; \
3030
echo " want $(UNINSTALL_$*)" ; \
31+
echo " To resolve this warning, you could try either of the following suggestions: " ; \
32+
echo " 1. Run the following command: make -C deps uninstall" ; \
33+
echo " 2. Remove the following directory: $(JULIAHOME)/usr" ; \
3134
fi

0 commit comments

Comments
 (0)