projects
/
osm
/
SO.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Add more robust type checking
[osm/SO.git]
/
BUILD.sh
diff --git
a/BUILD.sh
b/BUILD.sh
index
0a079ed
..
7ccdeba
100755
(executable)
--- a/
BUILD.sh
+++ b/
BUILD.sh
@@
-80,7
+80,7
@@
set -x # Print commands before executing them
# Set up repo and version
PLATFORM_REPOSITORY=${1:-OSM3}
-PLATFORM_VERSION=${2:-5.2.0.2.72
17
4}
+PLATFORM_VERSION=${2:-5.2.0.2.72
25
4}
###############################################################################
# Main block