New answers tagged utilities
A simple way would be to use GNU time command. /usr/bin/time python test.py /usr/bin/time /bin/sh -c 'ghc -o test test.hs; ./test' /usr/bin/time /bin/sh -c 'gcc -o test test.c; ./test' To normalize for starting the shell, I would also add a /bin/sh -c to the python command. time has many options for formatting the output and including memory, I/O and ...
Top 50 recent answers are included