diff options
Diffstat (limited to 'odb/makefile')
-rw-r--r-- | odb/makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/odb/makefile b/odb/makefile index b66804d..b7c9209 100644 --- a/odb/makefile +++ b/odb/makefile @@ -11,6 +11,7 @@ cxx_ptun := \ context.cxx \ generator.cxx \ plugin.cxx \ +pragma.cxx \ source.cxx cxx_ptun += \ |