From 0b1a9e8615f96d256aff5d947d8fa3df104147f7 Mon Sep 17 00:00:00 2001
From: Matteo Nastasi <nastasi@alternativeoutput.it>
Date: Mon, 5 Nov 2012 11:39:51 +0100
Subject: [PATCH] name of the installation configuration file changed

---
 sql/builder.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/sql/builder.sh b/sql/builder.sh
index 19817de..1dd9b14 100755
--- 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=""
-- 
2.17.1