You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
make submodule-update produces spurious warnings due to rm or rmdir failing. This bug was introduced in #75 . We should hide those warnings unless the overall operation fails.
The text was updated successfully, but these errors were encountered:
make submodule-update
produces spurious warnings due torm
orrmdir
failing. This bug was introduced in #75 . We should hide those warnings unless the overall operation fails.The text was updated successfully, but these errors were encountered: