[ch2][update]optimizing makefile for docker#7

0x822a5b87 wants to merge 1 commit intoLearningOS:ch2LearningOS/rCore-Tutorial-Code:ch2from

0x822a5b87:ch20x822a5b87/rCore-Tutorial-Code:ch2Copy head branch name to clipboard