diff --git a/build/buildbot/config/include/ravnsgaard.xml b/build/buildbot/config/include/unix.xml similarity index 95% rename from build/buildbot/config/include/ravnsgaard.xml rename to build/buildbot/config/include/unix.xml index 13ad4f2381..f28d06a9fa 100644 --- a/build/buildbot/config/include/ravnsgaard.xml +++ b/build/buildbot/config/include/unix.xml @@ -1,9 +1,9 @@