diff --git a/scripts/build_pipeline.sh b/scripts/build_pipeline.sh index 7a44ce46a99f3cb00ac1efdbacb710661b00c765..811a0f419ae5dd3e8e1b555d779a28651d156723 100644 --- a/scripts/build_pipeline.sh +++ b/scripts/build_pipeline.sh @@ -7,7 +7,7 @@ set -x script_dir=$(dirname "$(readlink -f "$0")") # Get the parent directory of the script directory -project_root="$script_dir" +project_root="../$script_dir" OMNI_HOME="$project_root" mkdir -p $OMNI_HOME/lib mkdir -p $OMNI_HOME/include