18.10 doesn't compile with 16.04 libraries, but does with 18.04 (#322)

This commit is contained in:
Kyle Martin
2019-01-12 08:17:51 -05:00
committed by Peter Goodman
parent 676429c434
commit 4b873d8c19
+4 -3
View File
@@ -1,5 +1,5 @@
#!/usr/bin/env bash
# Copyright (c) 2017 Trail of Bits, Inc.
# Copyright (c) 2019 Trail of Bits, Inc.
#
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
@@ -37,7 +37,8 @@ function GetUbuntuOSVersion
case "${DISTRIB_CODENAME}" in
cosmic)
# TODO(pag): Eventually make real packages for 18.10!
OS_VERSION=ubuntu1604
OS_VERSION=ubuntu1810
OS_VERSION=ubuntu1804
return 0
;;
bionic)
@@ -89,7 +90,7 @@ function DownloadCxxCommon
if ! curl -O "https://s3.amazonaws.com/cxx-common/${LIBRARY_VERSION}.tar.gz"; then
return 1
fi
local TAR_OPTIONS="--warning=no-timestamp"
if [[ "$OSTYPE" == "darwin"* ]]; then
TAR_OPTIONS=""