commit b89b7a502282f6110279d9a3ad74106eaa7f5072
author Dan Albert <danalbert@google.com> Fri Nov 04 11:40:27 2016 -0700
committer Dan Albert <danalbert@google.com> Fri Nov 04 11:41:14 2016 -0700
tree 4d1cecabe50ab1479f9fa61530f4d66c276daf5c
parent aea8407ad5c7e559c4cc6a05e46e37fa22f81d35

Clean up update_headers.sh.

Clean up some output, check for errors from the versioner.

Test: tools/update_headers.sh
Bug: None
Change-Id: Ib398b534a9a8ee6dc6a2b4d90747f628aa911bab

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