pre-push revision 5dd0459f8a7207ddcee26baa4917c2a6e20fba67 
1#!/bin/bash
2#
3# Copyright (c) 2016 Google Inc.
4#
5
6# Just execute our custom pre-push script.
7# Do this trick so that this file does not need to be updated each time
8# we modify our pre-push script
9exec ./toolchain_utils_githooks/pre-push.real "$@"
10