summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNathanael Sensfelder <SpamShield0@MultiAgentSystems.org>2017-08-03 17:17:38 +0200
committerNathanael Sensfelder <SpamShield0@MultiAgentSystems.org>2017-08-03 17:17:38 +0200
commit43cb556708d727376724eac0e67207c28d1761bf (patch)
tree2de5bc01dda84b0993a84a5e5e73ff0f5b64a866 /Makefile
parent71f3a1bb063087e51f2b2e2ef940e773e2e084d1 (diff)
Fixes issues in properties, Makefiles.
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile4
1 files changed, 3 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 70bf737..cb755f3 100644
--- a/Makefile
+++ b/Makefile
@@ -1,6 +1,8 @@
## Makefile Parameters #########################################################
LEVEL_FILES = $(wildcard ${CURDIR}/data/level/*.lvl)
-PROPERTY_FILES = $(wildcard ${CURDIR}/data/property/*.pro)
+PROPERTY_FILES = \
+ $(wildcard ${CURDIR}/data/property/*.pro) \
+ $(wildcard ${CURDIR}/data/property/cnes/*.pro)
AST_FILE = ${CURDIR}/data/ast/best_chronometer_ever.xml
TMP_DIR = /tmp/tabellion