New answers tagged


A simple way would be to use GNU time command. /usr/bin/time python /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