From f0785125c2986309b6b2f669796f1774dca368e7 Mon Sep 17 00:00:00 2001
From: Simon McVittie <smcv@debian.org>
Date: Tue, 17 Jan 2017 10:36:14 +0000
Subject: [PATCH] debian/tests/test-local-pull: Run the unreliable test
 separately, repeated 3 times to assess how often it fails

---
 debian/changelog             |  3 +++
 debian/tests/control         |  2 +-
 debian/tests/test-local-pull | 19 +++++++++++++++++++
 3 files changed, 23 insertions(+), 1 deletion(-)
 create mode 100755 debian/tests/test-local-pull

diff --git a/debian/changelog b/debian/changelog
index bdbcba79..77ea7017 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -7,6 +7,9 @@ ostree (2016.15-3) UNRELEASED; urgency=medium
       the script but do not attempt to run it
   * debian/tests/gnome-desktop-testing: Skip test-local-pull.sh.test
     which suffers from a known bug (#842606)
+  * debian/tests/gnome-desktop-testing: Fail if no tests were found
+    - debian/tests/test-local-pull: Run the unreliable test separately,
+      repeated 3 times to assess how often it fails
 
  -- Simon McVittie <smcv@debian.org>  Sun, 15 Jan 2017 14:37:12 +0000
 
diff --git a/debian/tests/control b/debian/tests/control
index 88ffde7f..5c627361 100644
--- a/debian/tests/control
+++ b/debian/tests/control
@@ -1,4 +1,4 @@
-Tests: gnome-desktop-testing
+Tests: gnome-desktop-testing, test-local-pull
 Depends: gnome-desktop-testing, ostree-tests
 
 Tests: build
diff --git a/debian/tests/test-local-pull b/debian/tests/test-local-pull
new file mode 100755
index 00000000..36f64d85
--- /dev/null
+++ b/debian/tests/test-local-pull
@@ -0,0 +1,19 @@
+#!/bin/sh
+
+set -e
+exec 2>&1
+
+N=3
+passed=0
+
+for i in `seq 1 $N`; do
+	if gnome-desktop-testing-runner ostree/test-local-pull.sh.test; then
+		passed=$(( $passed + 1))
+	fi
+done
+
+echo "test-local-pull: passed $passed/$N attempts"
+
+if [ "$passed" -ne "$N" ]; then
+	exit 1
+fi