diff options
| -rwxr-xr-x | devbuild.sh | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/devbuild.sh b/devbuild.sh new file mode 100755 index 00000000..702639df --- /dev/null +++ b/devbuild.sh @@ -0,0 +1,15 @@ +#!/bin/sh + +set -eu + +DEV_PACKAGES=\ +musl_no_complex_host,musl_full_host,musl_full,\ +psxtypes,pemagine,dalist,ldso,ntcon,ntapi,\ +psxscl,psxscl_strace,ntctty,ntux,ptycon,u16ports,\ +ntctty_minipix,ntux_minipix,ptycon_minipix + +mb_project_dir=$(cd "$(dirname $0)" ; pwd) +cd "$mb_project_dir" + +./build.sh -r ${DEV_PACKAGES} +./build.sh -D minipix |