build: Follow up cleanup and rename stuffs

rust-lang · Jun 27, 2019 · 1e52c48 · 1e52c48
1 parent d3e05f4
commit 1e52c48
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/ci/fetch-rust-docker.bash b/ci/fetch-rust-docker.bash
@@ -1,7 +1,7 @@
 #!/bin/bash
 
 script_dir=$(cd "$(dirname "$0")" && pwd)
-. "$script_dir/shared.sh"
+. "$script_dir/shared.bash"
 
 set -e
 # Disable cause it makes shared script not to work properly