diff options
| -rw-r--r-- | src/util/os_installation.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/util/os_installation.c b/src/util/os_installation.c index 674e47a5fe..e35f86c3ee 100644 --- a/src/util/os_installation.c +++ b/src/util/os_installation.c @@ -396,6 +396,9 @@ os_get_gnunet_path () #if LINUX if (NULL != (ret = get_path_from_proc_maps ())) return ret; + /* try path *first*, before /proc/exe, as /proc/exe can be wrong */ + if (NULL != (ret = get_path_from_PATH ("gnunet-arm"))) + return ret; if (NULL != (ret = get_path_from_proc_exe ())) return ret; #endif |