diff --git a/tools/kaleidoscope-builder b/tools/kaleidoscope-builder index 35350b0d..fcf6e921 100755 --- a/tools/kaleidoscope-builder +++ b/tools/kaleidoscope-builder @@ -260,6 +260,10 @@ if [ -e "${SOURCEDIR}/.kaleidoscope-builder.conf" ]; then . "${SOURCEDIR}/.kaleidoscope-builder.conf" fi +if [ -e "${SOURCEDIR}/kaleidoscope-builder.conf" ]; then + . "${SOURCEDIR}/kaleidoscope-builder.conf" +fi + . ${ROOT}/tools/kaleidoscope-builder.conf