Commit 3f8f754f authored by Yann Garcia's avatar Yann Garcia
Browse files

Bug fixed in "Update LD_LIBRARY_PATH environment variable"

parent fb133c9a

scripts/devenv.bash.ubuntu

+1 −1
Original line number Diff line number Diff line
@@ -26,7 +26,7 @@ export HOME_INC=${HOME}/include 
export PATH=${HOME_BIN}:${PATH}



# Update LD_LIBRARY_PATH environment variable

if [ "${LD_LIBRARY_PATH}" == "" ]

if [ -z "${LD_LIBRARY_PATH}" ]

then

    export LD_LIBRARY_PATH=${HOME_LIB}:/usr/local/lib:/home/vagrant/dev/etsi_its/lib

else