modify Makefile to include new xtypes
authorFilippos Giannakos <philipgian@grnet.gr>
Thu, 30 Aug 2012 09:36:17 +0000 (12:36 +0300)
committerFilippos Giannakos <philipgian@grnet.gr>
Thu, 30 Aug 2012 09:36:17 +0000 (12:36 +0300)
commitf8be3ae7255dcd5bc58be2c48b44f49121378c94
tree7421d2244e3862f5b793352b0c563cb7c4ec554b
parent6f2e0b3a025c0a4deb6230b9c69582b67711cae2
modify Makefile to include new xtypes
xseg/sys/user/Makefile