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 9 exec ./toolchain_utils_githooks/pre-push.real "$@" 10