Loading scripts/devenv.bash.ubuntu +2 −2 Original line number Original line Diff line number Diff line Loading @@ -28,9 +28,9 @@ export PATH=${HOME_BIN}:${PATH} # Update LD_LIBRARY_PATH environment variable # Update LD_LIBRARY_PATH environment variable if [ -z "${LD_LIBRARY_PATH}" ] if [ -z "${LD_LIBRARY_PATH}" ] then then export LD_LIBRARY_PATH=${HOME_LIB}:/usr/local/lib:/home/vagrant/dev/etsi_its/lib export LD_LIBRARY_PATH=${HOME_LIB}:/usr/local/lib:${HOME}/dev/etsi_its/lib else else export LD_LIBRARY_PATH=${HOME_LIB}:/usr/local/lib:/home/vagrant/dev/etsi_its/lib:${LD_LIBRARY_PATH} export LD_LIBRARY_PATH=${HOME_LIB}:/usr/local/lib:${HOME}/dev/etsi_its/lib:${LD_LIBRARY_PATH} fi fi Loading Loading
scripts/devenv.bash.ubuntu +2 −2 Original line number Original line Diff line number Diff line Loading @@ -28,9 +28,9 @@ export PATH=${HOME_BIN}:${PATH} # Update LD_LIBRARY_PATH environment variable # Update LD_LIBRARY_PATH environment variable if [ -z "${LD_LIBRARY_PATH}" ] if [ -z "${LD_LIBRARY_PATH}" ] then then export LD_LIBRARY_PATH=${HOME_LIB}:/usr/local/lib:/home/vagrant/dev/etsi_its/lib export LD_LIBRARY_PATH=${HOME_LIB}:/usr/local/lib:${HOME}/dev/etsi_its/lib else else export LD_LIBRARY_PATH=${HOME_LIB}:/usr/local/lib:/home/vagrant/dev/etsi_its/lib:${LD_LIBRARY_PATH} export LD_LIBRARY_PATH=${HOME_LIB}:/usr/local/lib:${HOME}/dev/etsi_its/lib:${LD_LIBRARY_PATH} fi fi Loading