use #include name for servarname
commitd5f978411ec626e26213c21880a8b461746050ee
authorBen Gras <ben@minix3.org>
Sun, 11 Jan 2009 23:45:29 +0000 (11 23:45 +0000)
committerBen Gras <ben@minix3.org>
Sun, 11 Jan 2009 23:45:29 +0000 (11 23:45 +0000)
tree55734999ef8ea056d10ddf8f3a091a47e6f753ad
parent037f39767ca1ead724d1aa6f78c70fecd65ff413
use #include name for servarname
kernel/start.c