diff options
Diffstat (limited to 'config')
-rw-r--r-- | config/setup/ptxdistrc.default | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/config/setup/ptxdistrc.default b/config/setup/ptxdistrc.default index 83ca28d89..d12527cd0 100644 --- a/config/setup/ptxdistrc.default +++ b/config/setup/ptxdistrc.default @@ -46,6 +46,7 @@ PTXCONF_SETUP_JAVA_SDK="/usr" # # Developer Options # +# PTXCONF_SETUP_GEN_DEP_TREE is not set # PTXCONF_SETUP_CHECK_EXIT_ON_ERROR is not set # PTXCONF_SETUP_CCACHE is not set PTXCONF_SETUP_HOST_CC="gcc" |