diff --git a/cheshire.mk b/cheshire.mk index dd7c4e34..088ea521 100644 --- a/cheshire.mk +++ b/cheshire.mk @@ -53,7 +53,7 @@ chs-clean-deps: ###################### CHS_NONFREE_REMOTE ?= git@iis-git.ee.ethz.ch:pulp-restricted/cheshire-nonfree.git -CHS_NONFREE_COMMIT ?= 99973e8 +CHS_NONFREE_COMMIT ?= 4212c3d5dc5f20ba92d394636a099395b24545c2 chs-nonfree-init: git clone $(CHS_NONFREE_REMOTE) $(CHS_ROOT)/nonfree