From 3e7cc82ad6bd8082b4f9defe916a942a578c0b11 Mon Sep 17 00:00:00 2001 From: Augustin Degomme Date: Sat, 23 Apr 2022 15:48:57 +0000 Subject: [PATCH] [ci-skip] Update project_description.sh --- tools/jenkins/project_description.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/jenkins/project_description.sh b/tools/jenkins/project_description.sh index 87b827488f..eb77ba6bff 100755 --- a/tools/jenkins/project_description.sh +++ b/tools/jenkins/project_description.sh @@ -26,7 +26,7 @@ get_eigen3(){ } get_ns3(){ - grep -m 1 "ns-3 found (v3.[0-9]*; incl:" ./consoleText | sed "s/.*-- ns-3 found .v\(3.[0-9]*\); incl:.*/\1/g" + grep -m 1 "ns-3 found (v3.[0-9dev]*; incl:" ./consoleText | sed "s/.*-- ns-3 found .v\(3.[0-9dev]*\); incl:.*/\1/g" } get_python(){ -- 2.20.1