diff --git a/Makefile b/Makefile index 52ad49c..8ff9e30 100644 --- a/Makefile +++ b/Makefile @@ -1,3 +1,6 @@ +PATCH_MEDIAELEMENT=true +PATCH_MEDIAELEMENT_PLUGINS=true + .PHONY: \ all \ depend \ @@ -20,14 +23,20 @@ depend: \ depend-mediaelement: @echo "Preparing dependency \"mediaelement\" ..." - git -C mediaelement reset --hard HEAD - patch -d mediaelement -p1 < patches/mediaelement/01-iconsprite.diff + if test "$(PATCH_MEDIAELEMENT)" = "true" ; then \ + git -C mediaelement reset --hard HEAD ; \ + patch -d mediaelement -p1 < patches/mediaelement/01-iconsprite.diff ; \ + patch -d mediaelement -p1 < patches/mediaelement/02-play-promise.diff ; \ + patch -d mediaelement -p1 < patches/mediaelement/03-mediaelement.js.diff ; \ + fi cd mediaelement && grunt depend-mediaelement-plugins: @echo "Preparing dependency \"mediaelement-plugins\" ..." - git -C mediaelement-plugins reset --hard HEAD - patch -d mediaelement-plugins -p1 < patches/mediaelement-plugins/01-playlist.js.diff + if test "$(PATCH_MEDIAELEMENT_PLUGINS)" = "true" ; then \ + git -C mediaelement-plugins reset --hard HEAD ; \ + patch -d mediaelement-plugins -p1 < patches/mediaelement-plugins/01-playlist.js.diff ; \ + fi cd mediaelement-plugins && grunt depend-node: