diff options
author | Eric Anholt <eric@anholt.net> | 2014-01-30 12:19:33 -0800 |
---|---|---|
committer | Eric Anholt <eric@anholt.net> | 2014-01-30 12:23:55 -0800 |
commit | 46953a662c4c73ceca94ea59c00d8b02d43cbc03 (patch) | |
tree | 0e32c675420fdac77bcbc6c54e6cb4722e88e235 | |
parent | 9e30b7e633c0772a4dff6427bc6c25aff8568950 (diff) |
Add missing make dist of gen_dispatch.py.
Fixes distcheck when built out of tree (not that I'm using make dist
for distributing releases, currently).
-rw-r--r-- | src/Makefile.am | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/Makefile.am b/src/Makefile.am index 1291045..3bf1243 100644 --- a/src/Makefile.am +++ b/src/Makefile.am @@ -157,3 +157,7 @@ $(GENERATED_EGL_SOURCE): $(srcdir)/gen_dispatch.py $(top_srcdir)/registry/egl.xm $(GENERATED_WGL_SOURCE): $(srcdir)/gen_dispatch.py $(top_srcdir)/registry/wgl.xml $(AM_V_GEN)$(PYTHON) $(srcdir)/gen_dispatch.py --dir $(top_builddir) $(top_srcdir)/registry/wgl.xml + +EXTRA_DIST = \ + gen_dispatch.py \ + $() |