Allow to measure memory usage with default /usr/bin/time
on macOS or other portable way
#870
Labels
/usr/bin/time
on macOS or other portable way
#870
Description / 説明
Now we use GNU time to measure memory usage but it seems there is no GNU time on macOS by default. It is nice if we can measure memory usage on the default macOS. We need to use macOS'
/usr/bin/time
or some other portable way.Motivation / 動機
Other notes / その他
The text was updated successfully, but these errors were encountered: