diff options
| author | Guillaume Emont <guijemont@igalia.com> | 2012-12-18 20:21:09 +0100 |
|---|---|---|
| committer | Guillaume Emont <guijemont@igalia.com> | 2012-12-28 15:23:39 +0100 |
| commit | e0485969bb9d317556913a0d32aff193fb1a8741 (patch) | |
| tree | 3c8364b410a34c03512a3e06298bdf963d93269e | |
| parent | a7b188bb5ed42ca8e7eddce8e3a653c4bd2415be (diff) | |
add forgotten headers to include in make dist
| -rw-r--r-- | orc/Makefile.am | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/orc/Makefile.am b/orc/Makefile.am index f31d183..26263e0 100644 --- a/orc/Makefile.am +++ b/orc/Makefile.am @@ -106,7 +106,8 @@ pkginclude_HEADERS = \ orcutils.h \ orcvariable.h \ orcx86.h \ - orcx86insn.h + orcx86insn.h \ + orcmips.h noinst_HEADERS = \ opcodes.h |