[ch1][update]optimizing makefile for docker#5

0x822a5b87 wants to merge 1 commit intoLearningOS:ch1LearningOS/rCore-Tutorial-Code:ch1from

0x822a5b87:ch10x822a5b87/rCore-Tutorial-Code:ch1Copy head branch name to clipboard