Skip to content

Commit

Permalink
add relative path
Browse files Browse the repository at this point in the history
  • Loading branch information
woojoong88 committed Nov 4, 2024
1 parent 93dbbed commit 3537ed3
Showing 1 changed file with 2 additions and 4 deletions.
6 changes: 2 additions & 4 deletions Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -78,11 +78,9 @@ SKIP_CHECKOUT ?=

# clone (only if doesn't exist)
$(CHECKOUT_REPOS): | repos
pushd $(SOURCEDIR) ;\
if [ ! -d '$@' ] ;\
then git clone $(REPO_HOST)/$(@F) $@ ;\
fi ;\
popd
then git clone $(@F) $@ ;\
fi

# checkout correct ref if not under test, then copy subdirectories into main
# docs dir
Expand Down

0 comments on commit 3537ed3

Please sign in to comment.