From 7de5cdb3416a9a870485feca8412437c6aa1de1d Mon Sep 17 00:00:00 2001 From: Carl Mastrangelo Date: Mon, 21 May 2018 13:19:05 -0700 Subject: [PATCH] make ga adder less stingy --- tools/doc/addga.sh | 2 -- 1 file changed, 2 deletions(-) diff --git a/tools/doc/addga.sh b/tools/doc/addga.sh index 0ff55f3fb73..ecff7196048 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.