From 5b7a1b97d23cd27fb9719b47cc25a31844f53e09 Mon Sep 17 00:00:00 2001
From: Joachim Fasting <joachifm@fastmail.fm>
Date: Sat, 30 Apr 2016 18:59:54 +0200
Subject: [PATCH] travis: also check NixOS options

This will at least catch simple errors in default values and is fairly
cheap, in terms of resource and time consumption, and adds very little
additional output unless there's a failure.
---
 maintainers/scripts/travis-nox-review-pr.sh | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/maintainers/scripts/travis-nox-review-pr.sh b/maintainers/scripts/travis-nox-review-pr.sh
index 157ccc08f62..e9ca22117aa 100755
--- a/maintainers/scripts/travis-nox-review-pr.sh
+++ b/maintainers/scripts/travis-nox-review-pr.sh
@@ -26,6 +26,9 @@ elif [[ $1 == build ]]; then
     echo "=== Checking tarball creation"
     nix-build pkgs/top-level/release.nix -A tarball
 
+    echo "=== Checking NixOS options"
+    nix-build --show-trace nixos/release.nix -A options
+
     if [[ $TRAVIS_PULL_REQUEST == false ]]; then
         echo "=== Not a pull request"
     else