diff options
-rw-r--r-- | config/build.base.properties | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/config/build.base.properties b/config/build.base.properties index b61db1d251..13217f2f37 100644 --- a/config/build.base.properties +++ b/config/build.base.properties @@ -8,6 +8,7 @@ bin.dir=${basedir}/bin build.support.dir=${basedir}/build.support +config.dir=${basedir}/config doc.dir=${basedir}/doc newsources.dir=${basedir}/newsources sources.dir=${basedir}/sources |