make upgrade: Now that we have devfs, don't try to remove any /dev/*
authorSascha Wildner <saw@online.de>
Fri, 4 May 2012 19:15:54 +0000 (21:15 +0200)
committerSascha Wildner <saw@online.de>
Fri, 4 May 2012 19:15:54 +0000 (21:15 +0200)
commitb21d164153f8ed6667baeb1075f9bfe225fb31d4
treed052080284e989276e7c9f5794c61f6ea863f1ce
parent7e4852bbdad6a1fd0acec2ec9b2dfec51436a6db
make upgrade: Now that we have devfs, don't try to remove any /dev/*
Makefile_upgrade.inc