commit 147fdb4724b58efed40327d3537425574fc56730
author Treehugger Robot <treehugger-gerrit@google.com> Sat Nov 05 20:09:12 2016 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> Sat Nov 05 20:09:12 2016 +0000
tree a8b9ba6ffea02af8373d6ff314105207b4694df5
parent f41032a3e2da87d51a161da8bbcec8ae9f254bdd
parent b89b7a502282f6110279d9a3ad74106eaa7f5072

Merge "Clean up update_headers.sh."

tools/update_headers.sh

diff --git a/tools/update_headers.sh b/tools/update_headers.sh
index e5b87f1..0095d50 100755
--- a/tools/update_headers.sh
+++ b/tools/update_headers.sh
@@ -35,11 +35,17 @@
 HEADERS_INSTALL=$PREBUILTS_DIR/headers
 if [ -d "$HEADERS_INSTALL" ]; then
   git -C $PREBUILTS_DIR rm -r --ignore-unmatch $HEADERS_INSTALL
-  rm -r $HEADERS_INSTALL
+  if [ -d $HEADERS_INSTALL ]; then
+    rm -r $HEADERS_INSTALL
+  fi
 fi
 
 versioner -p versioner/platforms versioner/current versioner/dependencies \
   -o $HEADERS_INSTALL
+if [ $? -ne 0 ]; then
+  >&2 echo "Header preprocessing failed"
+  exit 1
+fi
 
 cp ../libc/NOTICE $PREBUILTS_DIR