Rename index.sh to verify.sh and change semantics accordingly

algebraic-graphs · Apr 17, 2018 · 41ce226 · 41ce226
1 parent 760b3fe
commit 41ce226
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git 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 → verify.sh b/index.sh → 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