16 lines
468 B
Plaintext
16 lines
468 B
Plaintext
##
|
|
# di_get_random_port
|
|
# Generate random port from userid
|
|
# 10000 - 59999
|
|
##
|
|
function(di_get_random_port port)
|
|
string(RANDOM LENGTH 1 ALPHABET 12345 leadernumber)
|
|
string(RANDOM LENGTH 4 ALPHABET 0123456789 number)
|
|
math(EXPR number "${number} + ${leadernumber}0000") # Remove extra leading 0s.
|
|
set(${port} ${number} PARENT_SCOPE)
|
|
endfunction()
|
|
|
|
function(add_metrix_target SOURCES_LIST)
|
|
message(STATUS "DEPRECATED the add_metrix_target is removed")
|
|
endfunction()
|