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