diff options
| author | Andy Lutomirski <luto@kernel.org> | 2019-06-16 17:24:45 -0700 |
|---|---|---|
| committer | Andy Lutomirski <luto@kernel.org> | 2019-06-16 17:24:45 -0700 |
| commit | c7d06677da1d3e91ebe82b159d2f7732f804a058 (patch) | |
| tree | 7556923f619dadfc52548372fc603c01f067373e | |
| parent | e566bd42e164e744cf963fb38fd2dd4ecd40a269 (diff) | |
| parent | 2fbc38cf7eab54875bbac7fcd1af35d8fa739e40 (diff) | |
| download | virtme-c7d06677da1d3e91ebe82b159d2f7732f804a058.tar.gz | |
Merge commit 'refs/pull/29/head' of github.com:amluto/virtme
Signed-off-by: Andy Lutomirski <luto@kernel.org>
| -rwxr-xr-x | virtme/guest/virtme-init | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/virtme/guest/virtme-init b/virtme/guest/virtme-init index 3c109f5..91201b5 100755 --- a/virtme/guest/virtme-init +++ b/virtme/guest/virtme-init @@ -57,7 +57,7 @@ fi mount -t proc -o nosuid,noexec,nodev proc /proc/ # devtmpfs might be automounted; if not, mount it. -if [[ "`stat --format=%m /dev`" != "/dev" ]]; then +if ! findmnt --kernel --mountpoint /dev &>/dev/null; then # Ideally we'll use devtmpfs (but don't rely on /dev/null existing). if [[ -c /dev/null ]]; then mount -n -t devtmpfs -o mode=0755,nosuid,noexec devtmpfs /dev \ |