[ #2655 ] Temporally disabled make TAGS with GHC 7.8.4. (#2656)

asr · Jul 26, 2017 · 48ee5fd · 48ee5fd
1 parent e73be56
commit 48ee5fd
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.travis.yml b/.travis.yml
@@ -362,7 +362,8 @@ script:
        make BUILD_DIR=$BUILD_DIR lib-interaction;
     fi
 
-  - if [[ $TEST = "MAIN" ]]; then
+# ASR (2017-07-25). Temporally disabled for GHC 7.8.4 [Issue #2655].
+  - if [[ $TEST = "MAIN" && $GHC_VER != "7.8.4" ]]; then
        make BUILD_DIR=$BUILD_DIR TAGS;
     fi