From 7897cab5c4114c298c3275b589d7357d97efbd31 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=E9=95=BF=E6=9F=B3?=
 <110147328+changliuxy@users.noreply.github.com>
Date: Wed, 23 Nov 2022 11:46:01 +0800
Subject: [PATCH] fix: Update Makefile about not found source

---
 Makefile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 9146246df..bb687c727 100644
--- a/Makefile
+++ b/Makefile
@@ -1,5 +1,6 @@
 DOCKER_NAME ?= rust-os-camp-2022
 DIR := workplace
+SHELL := /bin/bash
 .PHONY: docker build_docker
 
 test: test3 test4 test5 test6 test7 test8
@@ -178,7 +179,7 @@ ubuntu_local_setenv:
 	qemu-riscv64 --version
 	curl https://sh.rustup.rs -sSf | sh -s -- -y
 	source ${HOME}/.cargo/env
-	rustc --version
+	${HOME}/.cargo/bin/rustc --version
 
 # for github codespaces ubuntu with zsh SHELL, need root for sudo
 codespaces_setenv: