Skip to content

Commit

Permalink
Correct typo in Travis script
Browse files Browse the repository at this point in the history
  • Loading branch information
dra27 committed Jul 7, 2020
1 parent 54a1fa7 commit 5fd9713
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion .travis-ci.sh
Original file line number Diff line number Diff line change
Expand Up @@ -193,7 +193,7 @@ EOF
fi
make install
cd ..
rm -rf "ocaml-$OCAML_VERSION.tar.gz"
rm -rf "ocaml-$OCAML_VERSION"
echo "LOCAL_OCAML_VERSION=$OCAML_VERSION" > ~/local/versions
(set +x ; echo -en "travis_fold:end:ocaml\r") 2>/dev/null
fi
Expand Down

0 comments on commit 5fd9713

Please sign in to comment.