diff options
-rw-r--r-- | crawl-ref/source/makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/crawl-ref/source/makefile b/crawl-ref/source/makefile index 0bb53bc62a..9e1ded2ab6 100644 --- a/crawl-ref/source/makefile +++ b/crawl-ref/source/makefile @@ -4,12 +4,12 @@ #Makefile chooser. Choose one: -#MAKEFILE ?= makefile.unix +MAKEFILE ?= makefile.unix #MAKEFILE ?= makefile.dos #MAKEFILE ?= makefile.osx #MAKEFILE ?= makefile.mgw #MAKEFILE ?= makefile_tiles.mgw -MAKEFILE ?= makefile.x11 +#MAKEFILE ?= makefile.x11 #jmf: number of concurrent jobs -- good value is (#_of_CPUs * 2) + 1 # cuts build time a lot on multi-cpu machines |