mirror of
https://github.com/RIOT-OS/RIOT.git
synced 2024-12-29 04:50:03 +01:00
silence git warning about detached head
use reset --hard to check out the desired revision
This commit is contained in:
parent
740f43cb99
commit
068b4746b0
@ -31,7 +31,7 @@ $(CURDIR)/$(PKG_NAME)/Makefile: $(CURDIR)/$(PKG_NAME)
|
||||
|
||||
$(CURDIR)/$(PKG_NAME)/:
|
||||
git clone $(PKG_URL) $@ && \
|
||||
cd $@ && git checkout $(PKG_VERSION)
|
||||
cd $@ && git reset --hard $(PKG_VERSION)
|
||||
|
||||
clean::
|
||||
# Reset package to checkout state.
|
||||
|
Loading…
Reference in New Issue
Block a user