[ch4][update]optimizing makefile for docker#8

0x822a5b87 wants to merge 1 commit intoLearningOS:ch4LearningOS/rCore-Tutorial-Code:ch4from

0x822a5b87:ch40x822a5b87/rCore-Tutorial-Code:ch4Copy head branch name to clipboard