Commit 6643943
authored
setup.sh: populate empty gitlink placeholder dirs (fix CI) (#78)
Several siblings are tracked as gitlinks without a .gitmodules, so a fresh
checkout (actions/checkout submodules:false) leaves them as empty placeholder
directories. The previous `[ ! -d ]` guard saw the dir and skipped cloning,
leaving empty uv workspace members -> 'mj-viser is not a workspace member' and
`uv sync` failing while building geodude. Detect a populated repo via its .git
entry and clone into the empty placeholder instead. Fixes #74.1 parent f8845fc commit 6643943
1 file changed
Lines changed: 9 additions & 3 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
36 | 36 | | |
37 | 37 | | |
38 | 38 | | |
39 | | - | |
| 39 | + | |
| 40 | + | |
| 41 | + | |
| 42 | + | |
| 43 | + | |
| 44 | + | |
| 45 | + | |
| 46 | + | |
40 | 47 | | |
| 48 | + | |
41 | 49 | | |
42 | | - | |
43 | | - | |
44 | 50 | | |
45 | 51 | | |
46 | 52 | | |
| |||
0 commit comments