fix error check

diff --git a/servers/vfs/mount.c b/servers/vfs/mount.c
index bf0777694c96c8d95f222fdb8b2a11bab39beb24..08e4839a269df13962a46cb33c3251bc42a31472 100644 (file)
--- a/servers/vfs/mount.c
+++ b/servers/vfs/mount.c
@@ -551,7 +551,10 @@ PRIVATE dev_t name_to_dev()
   struct vnode *vp;
   
   /* Request lookup */
-  if ((r = lookup_vp(0 /*flags*/, 0 /*!use_realuid*/, &vp)) != OK) return r;
+  if ((r = lookup_vp(0 /*flags*/, 0 /*!use_realuid*/, &vp)) != OK) {
+       printf("vfs: name_to_dev: lookup of '%s' failed\n", user_realpath);
+       return NO_DEV;
+  }
 
   if ((vp->v_mode & I_TYPE) != I_BLOCK_SPECIAL) {
        err_code = ENOTBLK;