diff --git a/config/options b/config/options index 637e060430..e8f7a42d08 100644 --- a/config/options +++ b/config/options @@ -17,7 +17,7 @@ fi ROOT=`pwd` PROJECT_DIR=$ROOT/projects -# read personal options if available +# read project options if available if [ -f $PROJECT_DIR/$PROJECT/options ]; then . $PROJECT_DIR/$PROJECT/options fi