summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authornsensfel <SpamShield0@noot-noot.org>2018-07-02 18:06:08 +0200
committernsensfel <SpamShield0@noot-noot.org>2018-07-02 18:06:08 +0200
commit668e1ab70b66a44e40922a29225d2835b03190fa (patch)
tree80f7fb37b8588035dd3558e4518ac4aa96df0126 /Makefile
parent5f8694f2ecae5084f9ad1332e69403f3f79de4bc (diff)
Working on player defeats...
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index dd99dfd..bb52900 100644
--- a/Makefile
+++ b/Makefile
@@ -12,7 +12,7 @@ WWW_DIR ?= ${CURDIR}/www
LOG_DIR ?= ${CURDIR}/log
## Local only?
-ERL_NAME_VS_SNAME ?= -sname
+ERL_NAME_VS_SNAME ?= -name
## Binaries
ERLC ?= erlc