Skip to content

Commit 07ef7af

Browse files
committed
copy output report files from the directory they're generated in
1 parent c4b50a2 commit 07ef7af

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

docker.sh

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -40,6 +40,6 @@ case ${SIMULATION_TYPE} in
4040
LOCAL)
4141
mkdir -p $OUTPUT_FILE_PATH
4242
cp *.cmo $OUTPUT_FILE_PATH
43-
cp *.txt $OUTPUT_FILE_PATH
43+
cp reports/*.txt $OUTPUT_FILE_PATH
4444
;;
4545
esac

0 commit comments

Comments
 (0)