From 6648fe8f1ebcf7d082ad3d957f14565cfbb3a142 Mon Sep 17 00:00:00 2001
From: Neels Hofmeyr <nhofmeyr@sysmocom.de>
Date: Mon, 29 Aug 2016 15:50:14 +0200
Subject: [PATCH] jenkins.sh: don't build twice

Instead of building the same .c files twice, rather verify that the
'make regen' target produces identical .c files as are checked in.

Change-Id: I18e7677d8596f61b883e9db57b4bdd2a5c154ec3
---
 contrib/jenkins.sh | 23 ++++++++++++++---------
 1 file changed, 14 insertions(+), 9 deletions(-)

diff --git a/contrib/jenkins.sh b/contrib/jenkins.sh
index c24bec23..72efdbca 100755
--- a/contrib/jenkins.sh
+++ b/contrib/jenkins.sh
@@ -55,19 +55,24 @@ build_dep asn1c aper-prefix
 
 marker osmo-iuh
 cd "$base"
-# Build using the checked-in asn1 code
-autoreconf --install --force
-./configure
-$MAKE $PARALLEL_MAKE
-LD_LIBRARY_PATH="$inst/lib" $MAKE check
-# distcheck is broken
-#LD_LIBRARY_PATH=$PWD/deps/install/lib $MAKE distcheck
-make clean
 
-# Build with regenerated asn1 code
 autoreconf --install --force
 ./configure
+
+# Verify that checked-in asn1 code is identical to regenerated asn1 code
 PATH="$inst/bin:$PATH" $MAKE $PARALLEL_MAKE -C src regen
+
+# attempt to settle the file system
+sleep 1
+
+git status
+git diff | cat
+
+if ! git diff-files --quiet ; then
+	echo "ERROR: 'make -C src regen' does not match committed asn1 code"
+	exit 1
+fi
+
 $MAKE $PARALLEL_MAKE
 LD_LIBRARY_PATH="$inst/lib" $MAKE check
 # distcheck is broken