diff --git a/Dockerfile b/Dockerfile index dfb01a67fc0d13361182a0a02292a2d9d48aa1b3..ba781cc87f14bd5ec045f4d907047ff280c73779 100644 --- a/Dockerfile +++ b/Dockerfile @@ -1,7 +1,7 @@ FROM openjdk:11 ENV DEBIAN_FRONTEND noninteractive -RUN apt-get update && apt-get install -y graphviz && rm -rf /var/lib/apt/lists/* +RUN apt-get update && apt-get install -y graphviz cloc && rm -rf /var/lib/apt/lists/* ENV HOME /home/user RUN useradd --create-home --home-dir $HOME user \ diff --git a/cloc/run-cloc.sh b/cloc/run-cloc.sh index 8cacc233e148fcb4821ce4af7f1e4481db059bcd..51154f51570c63bc133c36c9b40375cd3e71f1f7 100755 --- a/cloc/run-cloc.sh +++ b/cloc/run-cloc.sh @@ -1,4 +1,4 @@ -#!/usr/bin/bash +#!/bin/bash shopt -s globstar if [ ] @@ -7,7 +7,7 @@ then else # remove previous results -rm *-result.txt +rm -f *-result.txt # --force-lang=Java,jrag --force-lang=Java,jadd DEF_FILE=my_definitions.txt