setenv: Exported INET_ROOT and extracted INET_NED_PATH for reuse in o…

…ther scripts.
israelbraga · Sep 12, 2018 · f297897 · f297897
1 parent 6aaf815
commit f297897
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/setenv b/setenv
@@ -12,10 +12,11 @@ if [ ! -f bin/inet ]; then
     echo "Error: current working directory does not look like an INET root directory"
     # no exit -- it would close the shell
 else
-    INET_ROOT=`pwd`
+    export INET_ROOT=`pwd`
     echo $INET_ROOT
     export PATH=$INET_ROOT/bin:$PATH
-    export INET_OMNETPP_OPTIONS="-n $INET_ROOT/src:$INET_ROOT/tutorials:$INET_ROOT/showcases:$INET_ROOT/examples --image-path=$INET_ROOT/images"
+    export INET_NED_PATH="$INET_ROOT/src:$INET_ROOT/tutorials:$INET_ROOT/showcases:$INET_ROOT/examples"
+    export INET_OMNETPP_OPTIONS="-n $INET_NED_PATH --image-path=$INET_ROOT/images"
     export INET_GDB_OPTIONS="-quiet -ex run --args"
     export INET_VALGRIND_OPTIONS="-v --tool=memcheck --leak-check=yes --show-reachable=no --leak-resolution=high --num-callers=40 --freelist-vol=4000000"
 fi