Skip to content

Instantly share code, notes, and snippets.

@r2p2
Created April 13, 2019 08:06
Show Gist options
  • Save r2p2/b0c37289d2786a8defd9ba8ea4e64c4b to your computer and use it in GitHub Desktop.
Save r2p2/b0c37289d2786a8defd9ba8ea4e64c4b to your computer and use it in GitHub Desktop.
One Line Compile Time
make clean && make -pRrq | grep 'MAKE.*cc.o' | sed 's/.*..MAKE./make/' | while read -r cmd ; do /usr/bin/time -f "%e $cmd" $cmd -j1 -b > /dev/null ; done 2>&1 | tee compile-times.txt
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment