using linux specific coreir build for travis install script

phanrahan · Aug 27, 2019 · ccc187d · ccc187d
1 parent 4d64be5
commit ccc187d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.travis/install_coreir.sh b/.travis/install_coreir.sh
@@ -22,7 +22,7 @@ if [ "$TRAVIS_BRANCH" == "coreir-dev" ]; then
     pip install --upgrade git+git://github.com/leonardt/pycoreir.git@dev;
 else
     # based on https://gist.github.com/steinwaywhw/a4cd19cda655b8249d908261a62687f8
-    curl -s -L https://github.com/rdaly525/coreir/releases/latest | grep "href.*coreir.tar.gz" | cut -d \" -f 2 | xargs -I {} wget https://github.com"{}"
+    curl -s -L https://github.com/rdaly525/coreir/releases/latest | grep "href.*coreir-linux.tar.gz" | cut -d \" -f 2 | xargs -I {} wget https://github.com"{}"
     mkdir coreir_release;
     tar -xf coreir.tar.gz -C coreir_release --strip-components 1;
     export PATH=$TRAVIS_BUILD_DIR/coreir_release/bin:$PATH;