diff options
author | Romain Forlot <romain.forlot@iot.bzh> | 2018-05-14 15:11:51 +0200 |
---|---|---|
committer | Romain Forlot <romain.forlot@iot.bzh> | 2018-05-14 15:14:45 +0200 |
commit | 829dd697c1797893753962df6af1a9ad1592263a (patch) | |
tree | ba1b3d482b7a4c3deabcd2f0e654c2de4dfc1bc7 /cmake/common.cmake | |
parent | 8f5a17b459da4a336f900961a2f5868a846e5899 (diff) |
Fix: OS detection
Change-Id: Idcf5e85bfeab4edf1dbf52b6a0e3470ad350f939
Signed-off-by: Romain Forlot <romain.forlot@iot.bzh>
Diffstat (limited to 'cmake/common.cmake')
-rw-r--r-- | cmake/common.cmake | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cmake/common.cmake b/cmake/common.cmake index c6853ea..2f3bcdc 100644 --- a/cmake/common.cmake +++ b/cmake/common.cmake @@ -42,7 +42,7 @@ endif() # Used to package .deb set(OS_RELEASE_PATH "${BUILD_ENV_SYSROOT}/etc/os-release") if(EXISTS ${OS_RELEASE_PATH}) - execute_process(COMMAND bash "-c" "grep -E '^ID(_LIKE)?=' ${OS_RELEASE_PATH} | tail -n 1" + execute_process(COMMAND bash "-c" "grep -E '^ID(_LIKE)?=' /etc/os-release | tail -n 1 | sed -r 's:.*=\"(.*)\":\\1:' | awk '{print $1}'" OUTPUT_VARIABLE TMP_OSRELEASE ) |