diff options
| author |  Carl Mastrangelo <notcarl@google.com> | 2018-05-21 13:19:05 -0700 |
|---|---|---|
| committer | Carl Mastrangelo <notcarl@google.com> | 2018-05-21 13:19:05 -0700 |
| commit | 7de5cdb3416a9a870485feca8412437c6aa1de1d (patch) | |
| tree | 0fed777e19e2b35409c05825cef8d4147c4b3921 /tools | |
| parent | cbe33ccced13af6c0c3b1e74f32b7a45f925e85d (diff) | |
make ga adder less stingy
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/doc/addga.sh | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/tools/doc/addga.sh b/tools/doc/addga.sh index 0ff55f3fb7..ecff719604 100755 --- a/tools/doc/addga.sh +++ b/tools/doc/addga.sh @@ -13,8 +13,6 @@ # See the License for the specific language governing permissions and # limitations under the License. -set -exu -o pipefail - # This script finds all html files in the current directory, and adds the # GA tracking snippet to them. |