dev_env.sh: print warning if files set up by sudo in ./dependencies

Signed-off-by: Øyvind Harboe <[email protected]>

Author: oharboe

dev_env.sh

@@ -4,6 +4,7 @@
 # user settings go in ./env.sh
 function __setpaths() {
     local DIR=$(readlink -f "$(dirname "${BASH_SOURCE[0]}")")
+    [ "$(find $DIR/dependencies -type f -user root)" ] && echo "WARNING! Files set up by sudo found in $DIR"
     export PATH="$DIR/dependencies/bin:$PATH"
     export CMAKE_INSTALL_RPATH=$DIR/dependencies/lib:$DIR/dependencies/lib64