diff options
-rw-r--r-- | Makefile.common | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Makefile.common b/Makefile.common index 81593edf9d..6c0e2101ad 100644 --- a/Makefile.common +++ b/Makefile.common @@ -236,6 +236,9 @@ endif ifdef ENABLE_SKY DIST_FILES_ENGINEDATA+=sky.cpt endif +ifdef ENABLE_TEENAGENT +DIST_FILES_ENGINEDATA+=teenagent.dat +endif DIST_FILES_ENGINEDATA:=$(addprefix $(srcdir)/dists/engine-data/,$(DIST_FILES_ENGINEDATA)) # pred.dic is currently only used for the AGI engine |