1 files changed, 1 insertions, 2 deletions

diff --git a/etc/arduino.profile b/etc/arduino.profile
index ce4609340..2ea8445fe 100644
--- a/etc/arduino.profile
+++ b/etc/arduino.profile
@@ -19,6 +19,7 @@ noblacklist /usr/share/java
 
 include disable-common.inc
 include disable-devel.inc
+include disable-exec.inc
 include disable-interpreters.inc
 include disable-passwdmgr.inc
 include disable-programs.inc
@@ -41,5 +42,3 @@ shell none
 private-cache
 private-tmp
 
-noexec ${HOME}
-noexec /tmp