Skip to content

Commit

Permalink
Remove timing command (#466)
Browse files Browse the repository at this point in the history
Does not work on macOS.
  • Loading branch information
vkucera authored Jul 30, 2024
1 parent b820c39 commit f39b547
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions exec/run_o2.sh
Original file line number Diff line number Diff line change
Expand Up @@ -5,8 +5,8 @@ FILEIN="$2"
JSON="$3"
LOGFILE="$4"

# Run the script and show how much time it took.
/usr/bin/time -f "time: %E\nCPU: %P" bash "$SCRIPT" "$FILEIN" "$JSON" > "$LOGFILE" 2>&1
# Run the script.
bash "$SCRIPT" "$FILEIN" "$JSON" > "$LOGFILE" 2>&1
ExitCode=$?

# Show warnings and errors in the log file.
Expand Down

0 comments on commit f39b547

Please sign in to comment.