diff options
-rw-r--r-- | scripts/lib/ptxd_make_world_common.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/scripts/lib/ptxd_make_world_common.sh b/scripts/lib/ptxd_make_world_common.sh index 7fbdeab8d..dc601cc05 100644 --- a/scripts/lib/ptxd_make_world_common.sh +++ b/scripts/lib/ptxd_make_world_common.sh @@ -199,6 +199,9 @@ ptxd_make_world_init() { IFS="${orig_IFS}" export PTXDIST_LAYERS + # make sure any make calls appear to be the toplevel make + unset MAKELEVEL + # # type # |