[ch3][update]optimizing makefile for docker#6

0x822a5b87 wants to merge 1 commit intoLearningOS:ch3LearningOS/rCore-Tutorial-Code:ch3from

0x822a5b87:ch30x822a5b87/rCore-Tutorial-Code:ch3Copy head branch name to clipboard