diff options
author | Androbin <robin.richtsfeld@gmail.com> | 2017-11-29 01:31:47 -0800 |
---|---|---|
committer | Copybara-Service <copybara-piper@google.com> | 2017-11-29 01:33:24 -0800 |
commit | 9c78a79c02d38a98a38d852e10b16d8cb7a59c91 (patch) | |
tree | a9af77a8a9c2dc588705351d64941596bfc8b89f /tools/genrule | |
parent | ff62e1d0edf65d5103dde914db780f9c10371b92 (diff) |
Various Shell Script Fixes and Improvements - Part One
see #4023
Closes #4051.
PiperOrigin-RevId: 177279457
Diffstat (limited to 'tools/genrule')
-rwxr-xr-x | tools/genrule/genrule-setup.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/genrule/genrule-setup.sh b/tools/genrule/genrule-setup.sh index 2fe352fa54..98d68f1808 100755 --- a/tools/genrule/genrule-setup.sh +++ b/tools/genrule/genrule-setup.sh @@ -1,3 +1,5 @@ +#!/bin/bash + # Copyright 2017 The Bazel Authors. All rights reserved. # # Licensed under the Apache License, Version 2.0 (the "License"); |