Fix previous commit

diff --git a/ex/makevm b/ex/makevm
index 31a176110822dd4d4ced51e7fd908d97413b441c..aadc8612f723cdb419c8e95dd9606b9c41914318 100755 (executable)
--- a/ex/makevm
+++ b/ex/makevm
@@ -8,7 +8,7 @@ echo '/sbin/poweroff -f' > vm/.bash_logout
 cat > vm/etc/fstab <<EOF
 virtfs /mnt  9p     trans=virtio 0 0
 tmpfs  /tmp  tmpfs  defaults     0 0
 cat > vm/etc/fstab <<EOF
 virtfs /mnt  9p     trans=virtio 0 0
 tmpfs  /tmp  tmpfs  defaults     0 0

-procfs /proc procfs defaults     0 0
+procfs /proc proc   defaults     0 0

 EOF
 cat > vm/.profile <<EOF
 mount /mnt
 EOF
 cat > vm/.profile <<EOF
 mount /mnt