From 2f4caa83b7bba5c669e92c4d806a46600e88c52a Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Ville=20Skytt=C3=A4?= Date: Fri, 15 Sep 2017 19:12:11 +0300 Subject: [PATCH] micropython-dev: unix dir moved to ports/unix --- plugins/python-build/bin/python-build | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/plugins/python-build/bin/python-build b/plugins/python-build/bin/python-build index 4f8b994a..7c4efc7c 100755 --- a/plugins/python-build/bin/python-build +++ b/plugins/python-build/bin/python-build @@ -944,7 +944,7 @@ build_package_micropython() { elif [ -z "${MAKE_OPTS+defined}" ]; then MAKE_OPTS="-j $(num_cpu_cores)" fi - { cd unix + { cd ports/unix "$MAKE" $MAKE_OPTS axtls "$MAKE" $MAKE_OPTS CFLAGS_EXTRA="-DMICROPY_PY_SYS_PATH_DEFAULT='\"${PREFIX_PATH}/lib/micropython\"'" "$MAKE" install $MAKE_INSTALL_OPTS PREFIX="${PREFIX_PATH}"