diff --git a/tools/jenkins/run_linuxbrew.sh b/tools/jenkins/run_distribution.sh
similarity index 100%
rename from tools/jenkins/run_linuxbrew.sh
rename to tools/jenkins/run_distribution.sh