diff --git a/setup-or-reset-dief.sh b/setup-or-reset-dief.sh index 7d9d9750916e744cddf04c5028fd4230a06b45f2..b491c92be41b8b1cc6ecd4f7bf20daa691fd163d 100755 --- a/setup-or-reset-dief.sh +++ b/setup-or-reset-dief.sh @@ -14,6 +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 cat $CONFIGDIR/universal.properties.template >> $DIEFDIR/core/src/main/resources/universal.properties mvn clean install 2>&1 | tee $LOGDIR/installDIEF.log