mirror of
https://github.com/RIOT-OS/RIOT.git
synced 2025-12-25 06:23:53 +01:00
make: pkg: remove pkg source dir before checkout
This commit is contained in:
parent
757d4618e4
commit
29e7ea454a
@ -13,6 +13,7 @@ GIT_APPLY_PATCHES:=if test -d "$(PKG_DIR)"/patches; then \
|
||||
fi
|
||||
|
||||
$(PKG_BUILDDIR)/.git-downloaded:
|
||||
rm -Rf $(PKG_BUILDDIR)
|
||||
mkdir -p $(PKG_BUILDDIR)
|
||||
$(GITCACHE) clone "$(PKG_URL)" "$(PKG_VERSION)" "$(PKG_BUILDDIR)"
|
||||
$(GIT_APPLY_PATCHES)
|
||||
|
||||
Loading…
x
Reference in New Issue
Block a user