From cffde366cbb9f31a2a0fae816666c64798a2abbc Mon Sep 17 00:00:00 2001 From: Augustin Degomme Date: Sat, 23 Apr 2022 11:15:05 +0000 Subject: [PATCH] [ci-skip] help flags build finding ns3 --- tools/jenkins/Flags.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/jenkins/Flags.sh b/tools/jenkins/Flags.sh index 046a5ad045..2c49b12377 100755 --- a/tools/jenkins/Flags.sh +++ b/tools/jenkins/Flags.sh @@ -91,7 +91,7 @@ cmake -Denable_documentation=OFF -Denable_java=${buildjava} -Denable_msg=${build -Denable_mallocators=ON -Denable_debug=${builddebug} \ -Denable_smpi=${buildsmpi} -Denable_smpi_MPICH3_testsuite=${buildsmpi} -Denable_model-checking=${buildmc} \ -Denable_memcheck=OFF -Denable_memcheck_xml=OFF -Denable_smpi_MBI_testsuite=OFF \ - -Denable_ns3=$(onoff test "$buildmc" != "ON") -Denable_coverage=OFF -DLTO_EXTRA_FLAG="auto" "$WORKSPACE" + -Denable_ns3=$(onoff test "$buildmc" != "ON") -DNS3_HINT=/builds/ns-3-dev/build/ -Denable_coverage=OFF -DLTO_EXTRA_FLAG="auto" "$WORKSPACE" make -j$NUMPROC tests cd .. -- 2.20.1