diff --git a/setup-or-reset-dief.sh b/setup-or-reset-dief.sh index b491c92be41b8b1cc6ecd4f7bf20daa691fd163d..5ab50a0269208b3080b4b33a0157da2f89ddccb8 100755 --- a/setup-or-reset-dief.sh +++ b/setup-or-reset-dief.sh @@ -14,7 +14,7 @@ cd $DIEFDIR # concat universial props echo "base-dir=$EXTRACTIONBASEDIR" > $DIEFDIR/core/src/main/resources/universal.properties echo "log-dir=$LOGDIR/extraction/" >> $DIEFDIR/core/src/main/resources/universal.properties -echo "spark-local-dir=$MARVINEXTRATIONDIR/spark.local.dir/">> $DIEFDIR/core/src/main/resources/universal.properties +echo "spark-local-dir=$MARVINEXTRACTIONDIR/spark.local.dir/">> $DIEFDIR/core/src/main/resources/universal.properties cat $CONFIGDIR/universal.properties.template >> $DIEFDIR/core/src/main/resources/universal.properties mvn clean install 2>&1 | tee $LOGDIR/installDIEF.log