From e1da32c1ceaa7e7070fcde13340ed6cac3153912 Mon Sep 17 00:00:00 2001
From: Tim 'mithro' Ansell <me@mith.ro>
Date: Wed, 24 Oct 2018 14:44:26 -0700
Subject: [PATCH] travis: Temporarily checkout old kintex files on travis.

---
 .travis/generate-html.sh | 2 +-
 .travis/push-html.sh     | 4 +++-
 2 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/.travis/generate-html.sh b/.travis/generate-html.sh
index 395623f..06c9334 100755
--- a/.travis/generate-html.sh
+++ b/.travis/generate-html.sh
@@ -58,7 +58,7 @@ fi
 )
 
 # Generate the HTML for each device we have a settings file for.
-for SETTINGS in $(find -name settings.sh); do
+for SETTINGS in $(find -name settings.sh | grep -v kintex); do
 	DEVICE="$(basename $(dirname $SETTINGS))"
 
 	echo
diff --git a/.travis/push-html.sh b/.travis/push-html.sh
index 49e5190..e22da6f 100755
--- a/.travis/push-html.sh
+++ b/.travis/push-html.sh
@@ -26,7 +26,7 @@ TMPDIR=$(mktemp -d)
 	echo "--------------------------------------------"
 	ssh-add -l
 	ssh -v github.com || true
-	git clone git+ssh://git@github.com/$CURRENT_OWNER/prjxray-db.git --reference $SRCDIR/.git -b gh-pages html
+	git clone --tags git+ssh://git@github.com/$CURRENT_OWNER/prjxray-db.git --reference $SRCDIR/.git -b gh-pages html
 	echo "--------------------------------------------"
 	(
 		cd html
@@ -42,6 +42,8 @@ TMPDIR=$(mktemp -d)
 	cp -a $SRCDIR/html/* html/
 	(
 		cd html
+		# FIXME: Remove once kintex7 is working again
+		git checkout tags/kintex7 kintex7
 		git add --all .
 	)
 	echo "--------------------------------------------"