From 41ce226327172a4fb39e315fc4593113966939b8 Mon Sep 17 00:00:00 2001
From: Anton Felix Lorenzen <anfelor@posteo.de>
Date: Tue, 17 Apr 2018 12:25:21 +0200
Subject: [PATCH] Rename index.sh to verify.sh and change semantics accordingly

---
 .travis.yml           | 2 +-
 index.sh => verify.sh | 3 ++-
 2 files changed, 3 insertions(+), 2 deletions(-)
 rename index.sh => verify.sh (84%)

diff --git a/.travis.yml b/.travis.yml
index 9919c9d..3a09486 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -9,4 +9,4 @@ before_install:
 - docker pull scottfleischman/agda:2.5.2
 
 script:
-- docker run -v $TRAVIS_BUILD_DIR:/opt/agda-build scottfleischman/agda:2.5.2 /bin/sh -c 'cd /opt/agda-build; ./index.sh; agda -i . -i src/ index.agda'
+- docker run -v $TRAVIS_BUILD_DIR:/opt/agda-build scottfleischman/agda:2.5.2 /bin/sh -c 'cd /opt/agda-build; ./verify.sh'
diff --git a/index.sh b/verify.sh
similarity index 84%
rename from index.sh
rename to verify.sh
index 361686a..17e799a 100755
--- a/index.sh
+++ b/verify.sh
@@ -2,4 +2,5 @@ rm -rf index.agda;
 echo "module index where" >> index.agda;
 for i in $( find src -name "*.agda" | sed 's/src\/\(.*\)\.agda/\1/' | sed 's/\//\./g' | sort ); do
     echo "import $i" >> index.agda;
-done
+done;
+agda -i . -i src/ index.agda