Files
patronageos/scripts/download_malloc.sh

17 lines
298 B
Bash
Executable File

#!/bin/bash
set -e
set -x
cd "$(dirname "$0")"
DIR="$(dirname "$0")"
cd ..
echo $PWD
#downloading graphene malloc
if [ ! -f ./dependencies/hardened_malloc/Makefile ]; then
cd ./dependencies/
git clone https://github.com/GrapheneOS/hardened_malloc.git
fi
echo 'graphene malloc downloaded.'