diff options
author | Carlos Garcia Campos <carlosgc@gnome.org> | 2009-10-21 16:58:41 (GMT) |
---|---|---|
committer | Carlos Garcia Campos <carlosgc@gnome.org> | 2009-10-21 16:58:41 (GMT) |
commit | 1da8768a0a328717ddc9c0757f9338787434c11d (patch) | |
tree | aa48a21022a9d7a6273adaeb07ba298a40bffa8d /shell/Makefile.am | |
parent | 3a748f444dc7b60a99d00c5ed767dd5319e4ccde (diff) |
Use always a different process for every document
Diffstat (limited to 'shell/Makefile.am')
-rw-r--r-- | shell/Makefile.am | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/shell/Makefile.am b/shell/Makefile.am index 8d86efe..987d215 100644 --- a/shell/Makefile.am +++ b/shell/Makefile.am @@ -17,6 +17,7 @@ INCLUDES= \ -I$(top_srcdir)/properties \ -DGNOMELOCALEDIR=\"$(datadir)/locale\" \ -DGNOMEICONDIR=\""$(datadir)/pixmaps"\" \ + -DBINDIR=\""$(bindir)"\" \ -DLIBEXECDIR=\""$(libexecdir)"\" \ -DEVINCE_COMPILATION \ $(SHELL_CFLAGS) \ |