debian/tests/test-local-pull: Run the unreliable test separately, repeated 3 times to assess how often it fails

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
 

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

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