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>
Mon, 7 May 2012 17:46:25 +0000 (19:46 +0200)
commit27d0961627e5ed299164946caa4f226907675973
tree2e0d034547a1864faa1dd62ccba3929d8f8bc0aa
parent05cd1a7d8093492b0abbff70a2e19abbec4c2280
make upgrade: Now that we have devfs, don't try to remove any /dev/*
Makefile_upgrade.inc