try a different shell (tcsh)

(#283)
theimpossibleastronaut · Apr 24, 2021 · 387e60c · 387e60c
1 parent 877e541
commit 387e60c
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/.travis.yml b/.travis.yml
@@ -143,7 +143,12 @@ script:
   - ../configure ${CONFIGURE_OPTS}
   - if [ -z "$DISTCHECK_ONLY" ]; then
       make V=1 &&
-      make V=1 check -j5;
+      if [ "$XCODE" = "true" ]; then
+        tcsh "$(make V=1 check -j5)";
+        cat /etc/shells;
+      else
+        make V=1 check -j5;
+      fi;
       r=$?;
       if test "x$r" != x0; then
         cat test/test-suite.log;