vkernel: Fix DEV_SUPPORT.
authorSascha Wildner <saw@online.de>
Sat, 17 Mar 2012 15:26:43 +0000 (16:26 +0100)
committerSascha Wildner <saw@online.de>
Sat, 17 Mar 2012 15:26:43 +0000 (16:26 +0100)
commit41cd0cadf710606447eedce63f025dc4fdcf22a9
treed900ef061efebe156c9731ffdc333e8ae2710b08
parent506796a7541c92acf4f63f7fcbc0c8b89fcd857a
vkernel: Fix DEV_SUPPORT.
sys/platform/vkernel/Makefile.inc
sys/platform/vkernel64/Makefile.inc