diff --git a/carfield.mk b/carfield.mk index a2faf997..e1cacaf4 100644 --- a/carfield.mk +++ b/carfield.mk @@ -422,7 +422,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 := 85ef88fcf3709571850ed9abcafc854e3df861bd # branch: lg/pss_sim +tech-commit := f78372d56569d8d9843c6c3a0268434eaeb6384e # branch: lg/pss_sim tech-clone: git clone $(tech-repo) tech