Fix %.checkout target for git tags.

humanoid-path-planner / hpp-doc

Documentation for project Humanoid Path Planner

ISC License

29 stars 23 forks source link

Closed jmirabel closed 5 years ago

jmirabel commented 5 years ago

Git clone --branch (or -b) should accept tags as mentioned in git clone --help However, the following command fails.

git clone ${GIT_QUIET} --recursive -b ${$(@:.checkout=)_branch} ${$(@:.checkout=)_repository}/$(@:.checkout=);

It has been replace by two commands.

This should fix #39

jmirabel commented 5 years ago

The issue had another origin. I will open another PR with the correct bugfix.