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
Right now we do a naive submodule check (if the directory exists, submodules have been pulled in), but we need a better one. When you clone (without --recursive), it still creates the directories, so the script incorrectly assumes they've been pulled in.
An easy fix might be to just always call git submodule update --init, but we'll have to check.
The text was updated successfully, but these errors were encountered:
Right now we do a naive submodule check (if the directory exists, submodules have been pulled in), but we need a better one. When you clone (without
--recursive
), it still creates the directories, so the script incorrectly assumes they've been pulled in.An easy fix might be to just always call
git submodule update --init
, but we'll have to check.The text was updated successfully, but these errors were encountered: