diff options
Diffstat (limited to '.github/setup_ci.sh')
-rwxr-xr-x | .github/setup_ci.sh | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/.github/setup_ci.sh b/.github/setup_ci.sh index 61349be1..2d489b7e 100755 --- a/.github/setup_ci.sh +++ b/.github/setup_ci.sh @@ -40,7 +40,10 @@ for TARGET in $TARGETS; do "--with-selinux") PACKAGES="$PACKAGES libselinux1-dev selinux-policy-dev" ;; - *) echo "Invalid option" + "--with-ldflags=-lhardened_malloc") + INSTALL_HARDENED_MALLOC=yes + ;; + *) echo "Invalid option '${TARGET}'" exit 1 ;; esac @@ -56,3 +59,10 @@ if [ "x" != "x$PACKAGES" ]; then sudo apt update -qq sudo apt install -qy $PACKAGES fi + +if [ "${INSTALL_HARDENED_MALLOC}" = "yes" ]; then + (cd ${HOME} && + git clone https://github.com/GrapheneOS/hardened_malloc.git && + cd ${HOME}/hardened_malloc && + make && sudo cp libhardened_malloc.so /usr/lib/) +fi |