diff options
| author | Lauri Aarnio <Lauri.Aarnio@iki.fi> | 2009-01-29 17:35:42 +0200 |
|---|---|---|
| committer | Lauri Leukkunen <lle@rahina.org> | 2009-02-10 08:38:10 +0200 |
| commit | 8aa891dae16bd4998176fa5ce987f15051490255 (patch) | |
| tree | af8c35aa20c68f1839927ac3fb271007f7851474 /lua_scripts/pathmaps/devel/00_default.lua | |
| parent | 905e4b3d3ad88ef66587707ed975184afaff9dcc (diff) | |
Added a mechanism for finding currently active exec policy
- set name of the selected exec policy to an environment
variable before every exec, and also added a lua function
which locates the currently active policy (soon to be used
by the "devel"mode..)
Diffstat (limited to 'lua_scripts/pathmaps/devel/00_default.lua')
| -rw-r--r-- | lua_scripts/pathmaps/devel/00_default.lua | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/lua_scripts/pathmaps/devel/00_default.lua b/lua_scripts/pathmaps/devel/00_default.lua index f66a20d..f7d5295 100644 --- a/lua_scripts/pathmaps/devel/00_default.lua +++ b/lua_scripts/pathmaps/devel/00_default.lua @@ -635,3 +635,11 @@ exec_policy_chains = { devel_exec_policies } +-- This table lists all exec policies - this is used when the current +-- process wants to locate the currently active policy +all_exec_policies = { + exec_policy_host_os, + exec_policy_target, + exec_policy_tools, +} + |