diff --git a/Makefile b/Makefile index b0cb9b3..d337bdb 100644 --- a/Makefile +++ b/Makefile @@ -56,7 +56,7 @@ endef ###################### NONFREE_REMOTE ?= git@iis-git.ee.ethz.ch:pulp-restricted/pulp-cluster-nonfree.git -NONFREE_COMMIT ?= e8f67b4c8b3b5b7a692f3074c833e2f5c591bba3 +NONFREE_COMMIT ?= 5ee6320fbb6146312e0b969094d4e92fec62e453 nonfree-init: git clone $(NONFREE_REMOTE) nonfree diff --git a/fault_injection_sim b/fault_injection_sim deleted file mode 160000 index 84ddcff..0000000 --- a/fault_injection_sim +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 84ddcff943b7c2d63fb97fc9ff1864ccea398eef diff --git a/pulp-runtime b/pulp-runtime deleted file mode 160000 index 3ba9a34..0000000 --- a/pulp-runtime +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 3ba9a349664047c292d10640309a67a63bddd0c7 diff --git a/regression-tests b/regression-tests deleted file mode 160000 index fc7f5da..0000000 --- a/regression-tests +++ /dev/null @@ -1 +0,0 @@ -Subproject commit fc7f5da76fc99fd1fa2f10d4a5ce5d8c2c6f3ddd