sage
ffa4f467 - build/bin/sage-logger: Replace use of /usr/bin/time by bash keyword time

Commit

2 years ago

build/bin/sage-logger: Replace use of /usr/bin/time by bash keyword time

References

#37840 - `sage-logger`: Replace use of `/usr/bin/time` by bash keyword `time`

Author

mkoeppe

mkoeppe

Parents

Loading