diff options
| author | Benjamin Robin <benjarobin@users.noreply.github.com> | 2017-02-17 08:45:30 +0100 |
|---|---|---|
| committer | Martin Pitt <martinpitt@users.noreply.github.com> | 2017-02-17 08:45:30 +0100 |
| commit | 2f8e375d170f51c8224652ebb976c12a6a018da9 (patch) | |
| tree | be17dd31c0fe24fd77047a4cc2e44b998d42d87b /src/basic/virt.c | |
| parent | 2ba7627ea3b386b75cb2162a1d21548977c70985 (diff) | |
virt: Update cache if the detected vm is virtualbox (#5364)
Diffstat (limited to 'src/basic/virt.c')
| -rw-r--r-- | src/basic/virt.c | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/basic/virt.c b/src/basic/virt.c index 830dc655e3..9d615da681 100644 --- a/src/basic/virt.c +++ b/src/basic/virt.c @@ -329,8 +329,10 @@ int detect_vm(void) { * -> Third try to detect from dmi. */ dmi = detect_vm_dmi(); - if (dmi == VIRTUALIZATION_ORACLE) - return dmi; + if (dmi == VIRTUALIZATION_ORACLE) { + r = dmi; + goto finish; + } r = detect_vm_cpuid(); if (r < 0) |