From 8a98277b824ebae99629135ec5bef6daef03f84d Mon Sep 17 00:00:00 2001
From: Olaf Bergmann <bergmann@tzi.org>
Date: Fri, 26 Oct 2018 17:46:40 +0200
Subject: [PATCH] .travis.yml: add stage dist with scripts/dist.sh job

---
 .travis.yml | 16 +++++++++++++++-
 1 file changed, 15 insertions(+), 1 deletion(-)

diff --git a/.travis.yml b/.travis.yml
index 2199e311..81559003 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -36,6 +36,20 @@ branches:
      - /^release-.*$/
      - travis-test
 
+stages:
+  - test
+  - dist
+
+jobs:
+  include:
+    - stage: dist
+      compiler: gcc
+      env:
+        - PLATFORM=posix TESTS=yes TLS=no DOCS=yes
+      before_script:
+      script:
+        - docker run -e CC -e PLATFORM -e TESTS -e DOCS -e TLS obgm/libcoap:travis-env /bin/sh -c "scripts/dist.sh"
+
 # Docker disables IPv6 in containers by default, so re-enable it.
 before_script:
   # `daemon.json` is normally missing, but let's log it in case that changes.
@@ -50,4 +64,4 @@ before_script:
   # Paranoia log: what if our config got overwritten?
   - sudo cat /etc/docker/daemon.json
 script:
-  - docker run -e CC -e PLATFORM -e TESTS -e TLS obgm/libcoap:travis-env /bin/sh -c "scripts/build.sh"
+  - docker run -e CC -e PLATFORM -e TESTS -e DOCS -e TLS obgm/libcoap:travis-env /bin/sh -c "scripts/build.sh"