1 files changed, 1 insertions, 1 deletions
diff --git a/jenkins.sh b/jenkins.sh
index 80b853f0..63db8a2b 100755
--- a/jenkins.sh
+++ b/jenkins.sh
@@ -401,7 +401,7 @@ fi
 
 echo "Build by ${requestor} on ${NODE_NAME} for branch ${branch}"
 
-manifest="`find ${user_workspace} -name \*manifest.txt`"
+manifest="`find ${user_workspace}/_build/builds/ -name destdir -prune -o -name \*manifest.txt -print`"
 if test x"${manifest}" != x; then
     echo "node=${node}" >> ${manifest}
     echo "requestor=${requestor}" >> ${manifest}