Makefile.uk: Change Python version to Python2

`tools/configure.py` uses Python2 syntax. If only using `python` as the
command, this may cause the use of Python3, and that results in syntax
errors. Thus this commit enforces the use of `python2`.

Signed-off-by: Dovydas Vadišius <vadisius.dovydas@gmail.com>
Reviewed-by: Stefan Jumarea <stefanjumarea02@gmail.com>
Reviewed-by: Radu Nichita <radunichita99@gmail.com>
Approved-by: Razvan Deaconescu <razvand@unikraft.io>
Tested-by: Unikraft CI <monkey@unikraft.io>
GitHub-Closes: #4

diff --git a/Makefile.uk b/Makefile.uk
index 7e9e59ab01c15d44de76e1e9d9ff485c0e32ca07..885c29a7e0f1e8541a61fe84d4e4a3369c9ac154 100644 (file)
--- a/Makefile.uk
+++ b/Makefile.uk
@@ -79,7 +79,7 @@ DUKTAPE_SRCS-y += $(DUKTAPE_EXTRACTED)/examples/cmdline/duk_cmdline.c
 $(DUKTAPE_BUILD)/.prepared: $(DUKTAPE_BUILD)/.origin
        $(call build_cmd,CONF,duktape,$@,\
        cd $(DUKTAPE_EXTRACTED)/ && \
-       python tools/configure.py --output-directory duktape-src -DDUK_USE_FASTINT -UDUK_USE_ES6_PROXY && \
+       python2 tools/configure.py --output-directory duktape-src -DDUK_USE_FASTINT -UDUK_USE_ES6_PROXY && \
        touch $@)
 
 UK_PREPARE += $(DUKTAPE_BUILD)/.prepared