Commit 7699604c authored by Jan Kiene's avatar Jan Kiene
Browse files

workaround for grep with input=output

parent e73fb419

.gitlab-ci.yml

+2 −1
Original line number Diff line number Diff line
@@ -425,7 +425,8 @@ stages: 
    - if [ "$SPLIT_COMPARISON" = "true" ]; then

    # use -v flag ("inverse") to also have the header in the output file

    -   grep -v "_whole" $CSV_ARTIFACT_NAME > $CSV_ARTIFACT_SPLIT

    -   grep -v "_split" $CSV_ARTIFACT_NAME > $CSV_ARTIFACT_NAME

    -   cp $CSV_ARTIFACT_NAME tmp.csv

    -   grep -v "_split" tmp.csv > $CSV_ARTIFACT_NAME

    -   mkdir $IMAGES_ARTIFACT_SPLIT

    -   for MEASURE in $summary_args;do

    -     python3 scripts/create_histogram_summary.py $CSV_ARTIFACT_SPLIT $IMAGES_ARTIFACT_SPLIT/summary_"$MEASURE".csv $IMAGES_ARTIFACT_SPLIT/summary_"$MEASURE".png --measure $MEASURE