summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorJustus Winter <4winter@informatik.uni-hamburg.de>2014-03-12 15:09:44 +0100
committerJustus Winter <4winter@informatik.uni-hamburg.de>2014-03-12 15:53:14 +0100
commitcc9757407fa124998613329ce73c5bba98d5cf21 (patch)
treef75fbc57f95354f3981e2f159468f09a0e12ea19 /Makefile
parent109169ca9d8835227cbfcf2c2da5434232e2c6ec (diff)
mach-defpager: silently ignore requests to page to active partition
Currently, if mach-defpager is asked to page to an already active partition, it ignores this request and returns success. It does, however, print a message about this to stdout. This message might indicate to the user that there is some kind of a problem with the configuration of the machine, even though the code in new_partition clearly does not consider it an error to do such an request. * mach-defpager/default_pager.c (new_partition): Do not print a message if requested to page to an already active partition.
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions