diff options
author | Adam Borowski <kilobyte@angband.pl> | 2009-11-09 11:49:20 +0100 |
---|---|---|
committer | Adam Borowski <kilobyte@angband.pl> | 2009-11-09 13:38:40 +0100 |
commit | f3cad8dced4002bcb0713d39fe684e15de42988a (patch) | |
tree | c8a3bb2de9f4c0f7d7f48f92efea8a82b4e7b2cd /crawl-ref/source | |
parent | b0abf04f6d1def77a4641345fc7b129c6a346ab4 (diff) | |
download | crawl-ref-f3cad8dced4002bcb0713d39fe684e15de42988a.tar.gz crawl-ref-f3cad8dced4002bcb0713d39fe684e15de42988a.zip |
Special-case $prefix values of /usr and /usr/local to set bin_prefix to "games".
Diffstat (limited to 'crawl-ref/source')
-rw-r--r-- | crawl-ref/source/makefile | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/crawl-ref/source/makefile b/crawl-ref/source/makefile index 87b91a2197..4f1ac459f1 100644 --- a/crawl-ref/source/makefile +++ b/crawl-ref/source/makefile @@ -200,7 +200,11 @@ INSTALL_UGRP := games:games chroot_prefix := prefix := /usr/games/crawl ifeq (,$(bin_prefix)) +ifneq ($(patsubst %/local,%,$(patsubst %/,%,$(prefix))),/usr) bin_prefix := bin +else +bin_prefix := games +endif endif # If you're installing Crawl for multiple users, you *must* set this to a |