From d2864e852be06ea7cb3478de3650ec36308ad934 Mon Sep 17 00:00:00 2001
From: Josef 'Jeff' Sipek <jeffpc@josefsipek.net>
Date: Mon, 3 Sep 2018 18:31:01 -0400
Subject: [PATCH] nightly: build headers before installing them

Otherwise, we risk nightly failing because the xdrgen'd headers not yet
existing.
---
 tools/nightly.sh | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/tools/nightly.sh b/tools/nightly.sh
index f68cd0ab2a..0ab51a30a5 100755
--- a/tools/nightly.sh
+++ b/tools/nightly.sh
@@ -138,7 +138,12 @@ function build {
 	#	Before we build anything via dmake, we need to install
 	#	bmake-ified headers and libs to the proto area
 	#
-	if ! make -j$DMAKE_MAX_JOBS -C $SRCTOP/include all install DESTDIR=$ROOT; then
+	if ! make -j$DMAKE_MAX_JOBS -C $SRCTOP/include all DESTDIR=$ROOT; then
+		build_ok=n
+		this_build_ok=n
+		fatal_error "cannot install headers"
+	fi
+	if ! make -j$DMAKE_MAX_JOBS -C $SRCTOP/include install DESTDIR=$ROOT; then
 		build_ok=n
 		this_build_ok=n
 		fatal_error "cannot install headers"
-- 
2.11.4.GIT