#!/bin/bash

pushd "$(dirname "$0")/.."
scripts/make_common.sh ${1} "${2}" 1
popd