From cb5868f010f884d1bcf7b8b14aa36dbecdc84127 Mon Sep 17 00:00:00 2001 From: "Kelvin M. Klann" Date: Wed, 21 Jun 2023 01:26:55 -0300 Subject: 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 --- etc/profile-m-z/vmware.profile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'etc/profile-m-z') diff --git a/etc/profile-m-z/vmware.profile b/etc/profile-m-z/vmware.profile index b3a7df3ac..ed4a47a83 100644 --- a/etc/profile-m-z/vmware.profile +++ b/etc/profile-m-z/vmware.profile @@ -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 -- cgit v1.2.3-70-g09d2