#!/bin/sh
python make_distrib.py --output-dir ../binary_distrib/ $@