diff options
Diffstat (limited to 'Makefile.am')
| -rw-r--r-- | Makefile.am | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/Makefile.am b/Makefile.am index fbaa7dc..fe97e91 100644 --- a/Makefile.am +++ b/Makefile.am @@ -72,6 +72,12 @@ gen-ChangeLog: mv $(distdir)/cl-t $(distdir)/ChangeLog; } \ fi +.PHONY: sql-check +sql-check: src/schema.sql + @echo "$<" + $(AM_V_at)sqlite3 tmp-$$$.db < $< ; \ + rm tmp-$$$.db + EXTRA_DIST = \ .dir-locals.el \ tests/gnu-system.scm \ |