scrub off wex stuff
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Tue, 8 Jan 2019 13:19:24 +0000 (14:19 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Tue, 8 Jan 2019 13:19:24 +0000 (14:19 +0100)
Makefile

index a214aa0..d8cfefc 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -201,9 +201,6 @@ DISTCLEANS += $(1).mk $(2).mk config.$(1)
 $(eval $(call remote_pldistro_fetch_$(3),$(1)))
 endef
 
-$(eval $(call remote_pldistro,wextoolbox,wextoolbox-tags,git))
-$(eval $(call remote_pldistro,wexlxc,wexlxc-tags,git))
-
 ########## stage1 and stage1iter
 # extract specs and compute .mk files by running
 # make stage1=true