|
|
@@ -12,7 +12,7 @@ done
|
|
|
shift $((OPTIND-1))
|
|
|
|
|
|
echo ===== Running prac $opts -- $*
|
|
|
-date "+===== %s %F %T"
|
|
|
+date "+===== Start %s %F %T"
|
|
|
|
|
|
# Run, saving the output
|
|
|
savefile0=$$.p0.out
|
|
|
@@ -31,3 +31,4 @@ docker exec -w /root/prac prac_p1 rm -f $savefile1
|
|
|
echo ===== P2 output
|
|
|
docker exec -w /root/prac prac_p2 cat $savefile2
|
|
|
docker exec -w /root/prac prac_p2 rm -f $savefile2
|
|
|
+date "+===== End %s %F %T"
|
