merged in master

SpiNNakerManchester · Apr 11, 2023 · c517e06 · c517e06
2 parents 4991338 + beb05b6
commit c517e06
Showing 1 changed file with 5 additions and 3 deletions.
diff --git a/actions/install-spinn-deps/action.yml b/actions/install-spinn-deps/action.yml
@@ -42,9 +42,11 @@ runs:
               pip install ./$repo
               echo "::endgroup::"
             else
-              echo "::group::Setting up $repo"
-                (cd $repo && exec python setup.py develop)
-              echo "::endgroup::"
+              if [ -f "$repo/setup.py" ]; then
+                echo "::group::Setting up $repo"
+                  (cd $repo && exec python setup.py develop)
+                echo "::endgroup::"
+              fi
             fi
           done
         fi