diff options
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. |