diff --git a/linux-ci.sh b/linux-ci.sh index 0902565..92075cd 100755 --- a/linux-ci.sh +++ b/linux-ci.sh @@ -9,4 +9,4 @@ fi tar xf "$mlton_ver".tgz PATH=$PATH:"$mlton_ver"/bin -make initool-static test +make initool-static all