diff options
author | Wouter Verhelst <wouter@debian.org> | 2018-10-27 18:38:26 +0000 |
---|---|---|
committer | Wouter Verhelst <wouter@debian.org> | 2018-10-27 18:38:26 +0000 |
commit | f0290accd46ee45383b56b9acc9624f5707f6b0e (patch) | |
tree | 24efe2ca2dc9ad0c123ebc3a5de67d88e43fe371 /Makefile.common | |
parent | 964757ef3ad3686df20782acea9b70be007d485c (diff) |
Make the build fail on (useful) errors
Diffstat (limited to 'Makefile.common')
-rw-r--r-- | Makefile.common | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Makefile.common b/Makefile.common index b341ee1fc64..cf45e560073 100644 --- a/Makefile.common +++ b/Makefile.common @@ -11,6 +11,10 @@ else IGNORE = endif +# Turn this on to use (small) sample files for data that generated from +# cronjobs on the official website. +USE_SAMPLE_FILES := 0 + ENGLISHSRCDIR := $(WMLBASE)/../english ENGLISHDIR := $(ENGLISHSRCDIR) # ^ just an alias ^ |