Created
December 21, 2016 21:58
-
-
Save amosr/12b32e901fed6bb4431446b055d0dc0d to your computer and use it in GitHub Desktop.
Make with nothing to do
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# make with nothing to do still runs ghc 364 times. | |
# also, ghc 8 seems to take twice as long to do nothing than 7.10 | |
amos@Amos ddc $ g | |
The Glorious Glasgow Haskell Compilation System, version 7.10.2 | |
amos@Amos ddc $ time make | |
make[2]: Nothing to be done for `deps'. | |
make[2]: `bin/ddc-check' is up to date. | |
real 0m10.593s | |
user 0m6.430s | |
sys 0m4.672s | |
amos@Amos ddc $ g | |
The Glorious Glasgow Haskell Compilation System, version 8.0.1 | |
amos@Amos ddc $ time make | |
make[2]: Nothing to be done for `deps'. | |
make[2]: `bin/ddc-check' is up to date. | |
real 0m22.374s | |
user 0m11.835s | |
sys 0m10.338s | |
(with no ghc, spits out 364 errors) | |
amos@Amos ddc $ time PATH=/usr/bin:/bin:/usr/sbin:/sbin:/usr/local/bin:/opt/X11/bin make 2>/dev/null | |
make[2]: Nothing to be done for `deps'. | |
make[2]: `bin/ddc-check' is up to date. | |
real 0m2.739s | |
user 0m1.718s | |
sys 0m1.381s |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment