profiles: vmware: allow devel

It apparently fails on Linux Mint 20.3 (based on Ubuntu 20.04) due to
the "VMWare Kernel Module Updater" being unable to find gcc[1].

Relates to #3526.

[1] https://github.com/netblue30/firejail/issues/5861#issuecomment-1598407890

Reported-by: @MikeNavy
This commit is contained in:
Kelvin M. Klann 2023-06-21 01:26:55 -03:00
parent 75e3e656ae
commit cb5868f010

View file

@ -11,7 +11,7 @@ noblacklist ${HOME}/.vmware
noblacklist /usr/lib/vmware
include disable-common.inc
include disable-devel.inc
#include disable-devel.inc # gcc is used to compile kernel modules
include disable-exec.inc
include disable-interpreters.inc
include disable-programs.inc