diff options
Diffstat (limited to 'contrib/build-scripts/platform-id-linux.sh')
| -rwxr-xr-x | contrib/build-scripts/platform-id-linux.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/contrib/build-scripts/platform-id-linux.sh b/contrib/build-scripts/platform-id-linux.sh index 9efac91..b0e4688 100755 --- a/contrib/build-scripts/platform-id-linux.sh +++ b/contrib/build-scripts/platform-id-linux.sh @@ -9,4 +9,8 @@ CMAKE_INFO=`cmake --system-information 2> /dev/null` CMAKE_CXX_COMPILER_ID=`echo "$CMAKE_INFO" |grep 'CMAKE_CXX_COMPILER_ID ' | awk '{print tolower($2)}' |sed 's/\"//g'` CPU=`uname -m` +if (( $# > 0 )); then + CPU=$1 +fi + echo "linux-${CPU}-${CMAKE_CXX_COMPILER_ID}" |