diff options
Diffstat (limited to 'crawl-ref/source/makefile.obj')
-rw-r--r-- | crawl-ref/source/makefile.obj | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/crawl-ref/source/makefile.obj b/crawl-ref/source/makefile.obj index c888263332..fd38cf9783 100644 --- a/crawl-ref/source/makefile.obj +++ b/crawl-ref/source/makefile.obj @@ -79,6 +79,7 @@ l_mapmrk.o \ l_moninf.o \ l_mons.o \ l_option.o \ +l_subvault.o \ l_travel.o \ l_view.o \ l_you.o \ |