# applies any patches providing in the grading directory,
# and installs a default pintos/src/constants.h
sub extract_sources {
# applies any patches providing in the grading directory,
# and installs a default pintos/src/constants.h
sub extract_sources {