#!/bin/bash
set -e
echo warning: this script has been renamed to ./tool/presubmit.sh
$(dirname "${BASH_SOURCE[0]}")/../tool/presubmit.sh