• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1#!/bin/bash
2
3set -e
4
5OUT_DIR="$1"
6TOOLCHAIN_DIR="$2"
7
8echo "^^^^^^^^^^^^^^^^^^^%%%%%%%%%%%%%%%%%%%################################"
9function main(){
10    ROOT_DIR=$(cd $(dirname "$0");pwd)
11    if [ -z "${TOOLCHAIN_DIR}" ]; then
12        make clean &&  make -j16 OUT_DIR_PATH=${OUT_DIR}
13    else
14        make clean &&  make -j16 OUT_DIR_PATH=${OUT_DIR} TOOLCHAIN_DIR_PATH=${TOOLCHAIN_DIR}
15    fi
16}
17
18main "$@"
19