Minor setup changes

Author: AlexanderSchultheiss

docker-resources/variability_analysis_Linux.properties

@@ -27,7 +27,7 @@ extraction.timeout = 600
 ###  Analysis Parameters ###
 # How many commits should be analyzed in parallel? Warning: each task requires a considerable amount
 # of resources
-analysis.number_of_tasks = 1
+analysis.number_of_tasks = 3
 
 # The folders which are considered by KbuildMiner can be specified manually with the following property. Normally,
 # they are determined automatically, which we consider to be the best option in most cases

start-extraction.sh

@@ -1,13 +1,11 @@
 #! /bin/bash
 if [ "$1" = 'busybox' ]
 then
-    mkdir -p extraction-results/busybox
     docker run --rm -v "$(pwd)/extraction-results/busybox":"/home/user/extraction-results/output" variability-extraction "$@"
 elif [ "$1" = 'linux' ]
 then
-    mkdir -p extraction-results/linux
     docker run --rm -v "$(pwd)/extraction-results/linux":"/home/user/extraction-results/output" variability-extraction "$@"
 else
     echo "Select a SPL to extract [ ./start-extraction.sh linux | ./start-extraction.sh busybox ]"
 fi
-echo "Done."
+echo "Done."