#!/bin/bash # set -x ME=`dirname $0` . ${ME}/common.sh # Git Export export_sources export_binaries