diff options
| author | Morgan Deters <mdeters@gmail.com> | 2009-12-08 23:18:52 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2009-12-08 23:18:52 +0000 |
| commit | 0fcbc89e92a1137f6829a4a59138fc20c43d194d (patch) | |
| tree | 37f2739d3e630ab5d632960a5a721815a2ae4821 /src/parser/smt/Makefile.am | |
| parent | 2de2a7a3a31f59425688c2dc5e39f936477ae5f9 (diff) | |
final (?) fixes to parser/generated build directory modifications
Diffstat (limited to 'src/parser/smt/Makefile.am')
| -rw-r--r-- | src/parser/smt/Makefile.am | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/parser/smt/Makefile.am b/src/parser/smt/Makefile.am index 8e2aa77b1..a6d234bd0 100644 --- a/src/parser/smt/Makefile.am +++ b/src/parser/smt/Makefile.am @@ -11,7 +11,7 @@ ANTLR_TOKEN_STUFF = \ @srcdir@/generated/AntlrSmtParserTokenTypes.txt ANTLR_LEXER_STUFF = \ @srcdir@/generated/AntlrSmtLexer.hpp \ - @srcdir@/generated/AntlrSmtLexer.cpp + @srcdir@/generated/AntlrSmtLexer.cpp \ $(ANTLR_TOKEN_STUFF) ANTLR_PARSER_STUFF = \ @srcdir@/generated/AntlrSmtParser.hpp \ @@ -28,7 +28,7 @@ libparsersmt_la_SOURCES = \ BUILT_SOURCES = $(ANTLR_STUFF) dist-hook: $(ANTLR_STUFF) MAINTAINERCLEANFILES = $(ANTLR_STUFF) -maintainerclean-local: +maintainer-clean-local: -rmdir @srcdir@/generated -rm -f @srcdir@/stamp-generated |