diff options
Diffstat (limited to 'etc/profile-m-z/make.profile')
| -rw-r--r-- | etc/profile-m-z/make.profile | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/etc/profile-m-z/make.profile b/etc/profile-m-z/make.profile new file mode 100644 index 000000000..7e9638fe4 --- /dev/null +++ b/etc/profile-m-z/make.profile | |||
| @@ -0,0 +1,13 @@ | |||
| 1 | # Firejail profile for make | ||
| 2 | # Description: GNU make utility to maintain groups of programs | ||
| 3 | # This file is overwritten after every install/update | ||
| 4 | quiet | ||
| 5 | # Persistent local customizations | ||
| 6 | include make.local | ||
| 7 | # Persistent global definitions | ||
| 8 | include globals.local | ||
| 9 | |||
| 10 | memory-deny-write-execute | ||
| 11 | |||
| 12 | # Redirect | ||
| 13 | include build-systems-common.profile | ||