diff options
Diffstat (limited to 'scripts/lib/ptxd_make_world_install.sh')
| -rw-r--r-- | scripts/lib/ptxd_make_world_install.sh | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/scripts/lib/ptxd_make_world_install.sh b/scripts/lib/ptxd_make_world_install.sh index 1dd1dd62a..25175fcb8 100644 --- a/scripts/lib/ptxd_make_world_install.sh +++ b/scripts/lib/ptxd_make_world_install.sh @@ -84,6 +84,18 @@ ptxd_make_world_install() { cmd[${#cmd[@]}]=ptxd_make_world_install_python_cleanup fi ;; + meson) + cmd=( \ + "${pkg_path}" \ + "${pkg_env}" \ + "${pkg_make_env}" \ + "${pkg_install_env}" \ + ninja \ + -C "${pkg_build_dir}" \ + "${pkg_install_opt}" \ + -j1 \ + ) + ;; *) cmd=( \ "${pkg_path}" \ |