Makefile.webui: use configured python interpreter

diff --git a/Makefile.webui b/Makefile.webui
index 6659b88187eebe0aaa1754f039d7fde0df378241..686688cf328fa13cce10e27150ded0571c313e03 100644 (file)
--- a/Makefile.webui
+++ b/Makefile.webui
@@ -29,9 +29,9 @@ ifneq ($(WEBUI),)
 TOPDIR=$(dir $(IAM))
 include $(TOPDIR)/.config.mk
 EXTJSPATH = $(ROOTPATH)/extjs
-CSS_PY = PYTHONIOENCODING=utf-8 support/css.py
-RUN_JS = PYTHONIOENCODING=utf-8 vendor/rjsmin-1.0.10/rjsmin.py
-RUN_CSS = PYTHONIOENCODING=utf-8 vendor/rcssmin-1.0.5/rcssmin.py
+CSS_PY = PYTHONIOENCODING=utf-8 $(PYTHON) support/css.py
+RUN_JS = PYTHONIOENCODING=utf-8 $(PYTHON) vendor/rjsmin-1.0.10/rjsmin.py
+RUN_CSS = PYTHONIOENCODING=utf-8 $(PYTHON) vendor/rcssmin-1.0.5/rcssmin.py
 GZIP = gzip -n
 
 ifeq ($(WEBUI),std)