projects
/
osm
/
SO.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
(from parent 1:
7203e65
)
Merge branch 'v1.0'
author
Jeremy Mordkoff
<Jeremy.Mordkoff@riftio.com>
Fri, 23 Dec 2016 20:12:20 +0000
(15:12 -0500)
committer
Jeremy Mordkoff
<Jeremy.Mordkoff@riftio.com>
Fri, 23 Dec 2016 20:12:20 +0000
(15:12 -0500)
BUILD.sh
patch
|
blob
|
history
diff --git
a/BUILD.sh
b/BUILD.sh
index
3735e5c
..
18126ad
100755
(executable)
--- a/
BUILD.sh
+++ b/
BUILD.sh
@@
-155,7
+155,7
@@
if [[ $PLATFORM == ub16 ]]; then
# and install the tools
sudo apt remove -y rw.toolchain-rwbase tcpdump
- sudo apt-get install -y rw.tools-container-tools=${PLATFORM_VERSION} rw.tools-scripts=${PLATFORM_VERSION} python
+ sudo apt-get install -y
--allow-downgrades
rw.tools-container-tools=${PLATFORM_VERSION} rw.tools-scripts=${PLATFORM_VERSION} python
elif [[ $PLATFORM == fc20 ]]; then
# get the container tools from the correct repository
sudo rm -f /etc/yum.repos.d/private.repo