search

pulp-platform / pulpino

An open-source microcontroller system based on RISC-V
http://www.pulp-platform.org
Other
878 stars 296 forks source link

fix: fix pulpinov1 commit issue #406

Open rbevin777 opened 8 months ago

rbevin777 commented 8 months ago

The old code searches for a branch called pulpinov1 which no longer exists, so I have added the commit hash to checkout at that commit where the branch existed.

rbevin777 commented 8 months ago

@FrancescoConti could you review and approve this if the changes are okay? Thanks