--- src/etc/rc.d/tmp.orig	2013-09-11 20:43:25.000000000 +0200
+++ src/etc/rc.d/tmp	2013-09-11 20:48:46.000000000 +0200
@@ -39,7 +39,7 @@
 
 mount_tmpmfs ()
 {
-	if ! /bin/df /tmp | grep -q "^/dev/md[0-9]"; then
+	if ! /sbin/mount | grep -q "^/dev/md[0-9].\+/tmp[[:blank:]]"; then
 		mount_md ${tmpsize} /tmp "${tmpmfs_flags}"
 		chmod 01777 /tmp
 	fi