name of the installation configuration file changed

diff --git a/sql/builder.sh b/sql/builder.sh
index 19817de80b2375345967f8da3c17b113d66985dc..1dd9b14f88e07ce9ebb516c0563160de41783f3c 100755 (executable)
--- a/sql/builder.sh
+++ b/sql/builder.sh
@@ -16,8 +16,8 @@ else
     PFX="bsk_"
 fi
 
-if [ -f $HOME/.brisk_install ]; then
-    source $HOME/.brisk_install
+if [ -f $HOME/.brisk_spu_install ]; then
+    source $HOME/.brisk_spu_install
 fi
 
 pg_args=""