#1109 and #1041. Correction to r4130

contrib/buildserver/cmake_daily.sh

@@ -12,7 +12,7 @@ config=Release
 vs=2013
 
 result=0
-source functions.so
+source $(find . -name functions.so)
 
 ##
 # determine location of the build and source directories

contrib/buildserver/jenkins_build.sh

@@ -11,7 +11,7 @@
 #    status    : filter last build with grep
 #
 ##
-source functions.so
+source $(find . -name functions.so)
 
 base=$(basename $0)
 if [ -z "$base" ]; then base=jenkins_build ; fi

contrib/buildserver/test_daily.sh

@@ -1,6 +1,6 @@
 #!/bin/bash
 
-source functions.source
+source $(find . -name functions.so)
 
 ##
 # figure out today's build