Also search for a settings file in the root of the source directory without a leading .

8 years ago · 6b868de066
parent e7b186c597
commit 6b868de066
1 changed files with 4 additions and 0 deletions
--- 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