From a56d8cd72f7096368908a05ddfe7508ecbdf03df Mon Sep 17 00:00:00 2001
From: Shlomi Fish <shlomif@shlomifish.org>
Date: Mon, 19 Mar 2018 14:27:43 +0200
Subject: [PATCH] Fix the travis-ci script.

To exit on each failure and exec make dist.
---
 scripts/travis-ci-build | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/scripts/travis-ci-build b/scripts/travis-ci-build
index 5bbdfc9b..de59681c 100644
--- a/scripts/travis-ci-build
+++ b/scripts/travis-ci-build
@@ -1,2 +1,3 @@
 #!/bin/bash
-PATH="$(perl -lE 'my @p = split/:/,$ENV{PATH}; print join q#:#, grep { ! m#\A/opt/python# } @p;')" make test || make dist || exit -1
+PATH="$(perl -lE 'my @p = split/:/,$ENV{PATH}; print join q#:#, grep { ! m#\A/opt/python# } @p;')" make test || exit -1
+make dist || exit -1