diff options
| -rw-r--r-- | crawl-ref/source/makefile | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/crawl-ref/source/makefile b/crawl-ref/source/makefile index 0bfe2331f6..9dc90ac5ad 100644 --- a/crawl-ref/source/makefile +++ b/crawl-ref/source/makefile @@ -4,14 +4,13 @@ #Makefile chooser. Choose one: -#MAKEFILE = makefile.lnx +MAKEFILE = makefile.lnx #MAKEFILE = makefile.sgi #MAKEFILE = makefile.dos #MAKEFILE = makefile.emx #MAKEFILE = makefile.sol #MAKEFILE = makefile.osx - -MAKEFILE = makefile.mgw +#MAKEFILE = makefile.mgw #jmf: number of concurrent jobs -- good value is (#_of_CPUs * 2) + 1 # cuts build time a lot on multi-cpu machines |