]> mop.ddnsfree.com - git repositories - brisk.git/commitdiff
little fix to builder.sh sac-a-push
authorMatteo Nastasi <nastasi@alternativeoutput.it>
Sun, 17 Mar 2013 15:55:02 +0000 (16:55 +0100)
committerMatteo Nastasi <nastasi@alternativeoutput.it>
Sun, 17 Mar 2013 15:55:02 +0000 (16:55 +0100)
sql/builder.sh

index 6bd1c79b8c4c10dda02505f006eb55bb9ded35f7..2a02633a708a5d97e0ffb9b26dad9b7c15e42f8e 100755 (executable)
@@ -16,8 +16,8 @@ else
     PFX="bsk_"
 fi
 
-if [ -f $HOME/.brisk_spu_install ]; then
-    source $HOME/.brisk_spu_install
+if [ -f $HOME/.brisk_install ]; then
+    source $HOME/.brisk_install
 fi
 
 pg_args=""