diff --git a/carfield.mk b/carfield.mk index 9e2fa6bb..943de818 100644 --- a/carfield.mk +++ b/carfield.mk @@ -419,7 +419,7 @@ car-check-litmus-tests: $(LITMUS_WORK_DIR)/litmus.log ############## tech-repo := git@iis-git.ee.ethz.ch:Astral/gf12.git # no commit by default, change during development -tech-commit := 3d1b34b9e482f53f419030d0ff9bcf2bc549b227 # branch: yt/thales +tech-commit := 4baeb28349422712f39a0887dbd2e06e098e499f # branch: yt/thales tech-clone: git clone $(tech-repo) tech