diff options
Diffstat (limited to 'config/setup/ptxdistrc.default')
| -rw-r--r-- | config/setup/ptxdistrc.default | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/config/setup/ptxdistrc.default b/config/setup/ptxdistrc.default index 397b78eb7..e54da92e5 100644 --- a/config/setup/ptxdistrc.default +++ b/config/setup/ptxdistrc.default @@ -1,6 +1,6 @@ # # Automatically generated file; DO NOT EDIT. -# PTXdist 2013.12.0 +# PTXdist 2019.03.0 # # @@ -65,6 +65,7 @@ PTXCONF_SETUP_ENV_WHITELIST="" # PTXCONF_SETUP_COMMON_CACHE is not set # PTXCONF_SETUP_GEN_DEP_TREE is not set # PTXCONF_SETUP_CHECK_EXIT_ON_ERROR is not set +# PTXCONF_SETUP_ICECC is not set # PTXCONF_SETUP_CCACHE is not set # PTXCONF_SETUP_PATCHIN_GIT is not set # PTXCONF_SETUP_NFS_REL_SYMLINK is not set |