unifying dockerfiles

Author: riesentoaster

coreutils-8.25.Dockerfile

@@ -80,8 +80,7 @@ CMD echo "Starting coverage gathering" \
     && cp -r "$COVERAGE_DATA_DIR"/* "/coreutils/obj-cov/src/" \
     && echo "Running gcov" \
     && gcov "$UTIL" > "/out/cov.txt" \
-    && echo "Coverage gathering done" \
-    && tar czf "/out/src-gcov.tar.gz" "/coreutils/obj-cov/src"
+    && echo "Coverage gathering done"
 
 # ========================================
 # exec
@@ -116,8 +115,7 @@ CMD bash ./analyze.sh \
     --skip-klee-analysis "${SKIP_KLEE_ANALYSIS}" \
     --klee-max-time "${KLEE_MAX_TIME_MIN}" \
     --out-dir ./out \
-    "${UTIL}" \
-    && tar czf ./out/src-llvm.tar.gz ./coreutils-llvm/obj-llvm/src
+    "${UTIL}"
 
 # to keep files output by klee, run the container as follows:
 # `docker run [docker_args] \

coreutils-9.4.Dockerfile

@@ -80,8 +80,7 @@ CMD echo "Starting coverage gathering" \
     && cp -r "$COVERAGE_DATA_DIR"/* "/coreutils/obj-cov/src/" \
     && echo "Running gcov" \
     && gcov "$UTIL" > "/out/cov.txt" \
-    && echo "Coverage gathering done" \
-    && tar czf "/out/src-gcov.tar.gz" "/coreutils/obj-cov/src"
+    && echo "Coverage gathering done"
 
 # ========================================
 # exec
@@ -116,8 +115,7 @@ CMD bash ./analyze.sh \
     --skip-klee-analysis "${SKIP_KLEE_ANALYSIS}" \
     --klee-max-time "${KLEE_MAX_TIME_MIN}" \
     --out-dir ./out \
-    "${UTIL}" \
-    && tar czf ./out/src-llvm.tar.gz ./coreutils-llvm/obj-llvm/src
+    "${UTIL}"
 
 # to keep files output by klee, run the container as follows:
 # `docker run [docker_args] \