From 8373e58195c517e6eba9394538388aeb9d355903 Mon Sep 17 00:00:00 2001
From: Serge Schneider <serge@raspberrypi.org>
Date: Mon, 13 Mar 2017 17:44:00 +0000
Subject: [PATCH] build.sh: execute postrun.sh, if executable

---
 .gitignore | 1 +
 build.sh   | 7 +++++++
 2 files changed, 8 insertions(+)

diff --git a/.gitignore b/.gitignore
index ec91fd6..d9926f3 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,6 +1,7 @@
 deploy/*
 work/*
 config
+postrun.sh
 SKIP
 .pc
 *-pc
diff --git a/build.sh b/build.sh
index 0b7f3c0..f171023 100755
--- a/build.sh
+++ b/build.sh
@@ -184,4 +184,11 @@ for EXPORT_DIR in ${EXPORT_DIRS}; do
 	fi
 done
 
+if [ -x postrun.sh ]; then
+	log "Begin postrun.sh"
+	cd "${BASE_DIR}"
+	./postrun.sh
+	log "End postrun.sh"
+fi
+
 log "End ${BASE_DIR}"