#!/bin/bash

make -j 2 BINARY=32