Remove unsafe_vector_initialization lint

[rust.git] / pre_publish.sh

diff --git a/pre_publish.sh b/pre_publish.sh
index d8a9105c67eecaa23474fd02d0fb5a9e3a3ec50c..fc7ae212fcff515607920bd9aa6764822fa56e91 100755 (executable)
--- a/pre_publish.sh
+++ b/pre_publish.sh
@@ -1,15 +1,19 @@
 #!/bin/bash
 
-set -e
-
-./util/update_lints.py
+# Copyright 2014-2018 The Rust Project Developers. See the COPYRIGHT
+# file at the top-level directory of this distribution and at
+# http://rust-lang.org/COPYRIGHT.
+#
+# Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
+# http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
+# <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
+# option. This file may not be copied, modified, or distributed
+# except according to those terms.
 
-git status --short | sort | grep -v README.md | grep -v helper.txt | sort > helper.txt
 
-# abort if the files differ
-diff "publish.files" "helper.txt"
+set -e
 
-rm helper.txt
+./util/update_lints.py
 
 # add all changed files
 git add .