Add OS version to release filenames.

mbarbar · Jun 8, 2020 · 81b866f · 81b866f
1 parent f575fb6
commit 81b866f
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/release.sh b/release.sh
@@ -2,9 +2,9 @@
 
 ctir_version=`echo "$TRAVIS_TAG" | sed 's/^ctir-//'`
 if [ "$TRAVIS_OS_NAME" = "linux" ]; then
-  os="ubuntu";
+  os="ubuntu18.04";
 elif [ "$TRAVIS_OS_NAME" = "osx" ]; then
-  os="macos";
+  os="macos10.15";
 else
   echo "Bad OS?"
   travis_terminate 1