diff options
Diffstat (limited to 'scripts/lib/ptxd_make_00-init.sh')
| -rw-r--r-- | scripts/lib/ptxd_make_00-init.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/scripts/lib/ptxd_make_00-init.sh b/scripts/lib/ptxd_make_00-init.sh index 709f7936d..5568efc2c 100644 --- a/scripts/lib/ptxd_make_00-init.sh +++ b/scripts/lib/ptxd_make_00-init.sh @@ -148,6 +148,9 @@ ptxd_init_ptxdist_path() { PTXDIST_PATH_PATCHES="${PTXDIST_PATH//://patches:}" export PTXDIST_PATH_PATCHES + PTXDIST_PATH_RULES="${PTXDIST_PATH//://rules:}" + export PTXDIST_PATH_RULES + ptxd_init_ptxdist_path_sysroot } |