Rename the settings file for the builder to give a hint as to what it's a settings file for

8 years ago · e7b186c597
parent cd843688ae
commit e7b186c597
2 changed files with 1 additions and 1 deletions
--- a/tools/kaleidoscope-builder
+++ b/tools/kaleidoscope-builder
@ -261,7 +261,7 @@ if [ -e "${SOURCEDIR}/.kaleidoscope-builder.conf" ]; then
 fi


-. ${ROOT}/tools/settings.sh
+. ${ROOT}/tools/kaleidoscope-builder.conf


 cmds=""
--- a/tools/kaleidoscope-builder.conf
+++ b/tools/kaleidoscope-builder.conf