Install extendconfiguration extension

ocsigen · Jul 13, 2017 · a3f1e84 · a3f1e84
1 parent fa99319
commit a3f1e84
Showing 1 changed file with 4 additions and 3 deletions.
diff --git a/src/Makefile.filelist b/src/Makefile.filelist
@@ -55,9 +55,10 @@ PLUGINS_INTF := extensions/accesscontrol.cmi extensions/authbasic.cmi	\
                 extensions/redirectmod.cmi extensions/staticmod.cmi
 
 PLUGINS_IMPL := extensions/accesscontrol.cmo extensions/authbasic.cmo	\
-             extensions/cors.cmo extensions/outputfilter.cmo		\
-             extensions/redirectmod.cmo extensions/revproxy.cmo		\
-             extensions/rewritemod.cmo extensions/staticmod.cmo
+             extensions/cors.cmo extensions/extendconfiguration.cmo	\
+             extensions/outputfilter.cmo extensions/redirectmod.cmo	\
+             extensions/revproxy.cmo extensions/rewritemod.cmo		\
+             extensions/staticmod.cmo
 
 ifeq "$(CAMLZIP)" "YES"
 PLUGINS_IMPL += extensions/deflatemod.cmo