+ # The build.sh script from userspace-rcu expects the source to be located in
+ # `liburcu` instead of userspace-rcu. Accommodate for this here.
+ if [ "$project" = "userspace-rcu" ]; then
+ clone_directory="liburcu"
+ else
+ clone_directory="$project"
+ fi
+
+ clone_directory="$WORKSPACE/src/$clone_directory"
+
+ git clone "${gerrit_url}/${project}" "$clone_directory"
+ pushd "$clone_directory"