diff options
author | Yann Herklotz <ymherklotz@gmail.com> | 2018-03-07 12:20:28 +0000 |
---|---|---|
committer | Yann Herklotz <ymherklotz@gmail.com> | 2018-03-07 12:20:28 +0000 |
commit | 4cea8ed03bd57b496a25a1b5ee53326b4078d48b (patch) | |
tree | f93a32a05479f62cb74444341495684990d2714d /build.sh | |
parent | 27b3f87dd774f37b60e3f67199f802cde3b71a0e (diff) | |
download | FMark-4cea8ed03bd57b496a25a1b5ee53326b4078d48b.tar.gz FMark-4cea8ed03bd57b496a25a1b5ee53326b4078d48b.zip |
Added all as default and fixed travis to work
Diffstat (limited to 'build.sh')
-rwxr-xr-x | build.sh | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -33,7 +33,7 @@ esac done if [[ -z $BUILD ]]; then - BUILD=fsharp + BUILD=all fi if [[ $BUILD != "fsharp" ]] && [[ $BUILD != "js" ]] && [[ $BUILD != "all" ]]; then |