projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: c241cf3)
fix build
authorMorgan Deters <mdeters@gmail.com>
Tue, 20 Sep 2011 17:45:00 +0000 (17:45 +0000)
committerMorgan Deters <mdeters@gmail.com>
Tue, 20 Sep 2011 17:45:00 +0000 (17:45 +0000)
src/bindings/Makefile.am patch | blob | history

diff --git a/src/bindings/Makefile.am b/src/bindings/Makefile.am
index 7c4d7c5a36d8dd70eb22b391c9e9aac070f44646..227f239da517233818dfff184e118643ec50d41d 100644 (file)
--- a/src/bindings/Makefile.am
+++ b/src/bindings/Makefile.am
@@ -61,7 +61,7 @@ $(patsubst %,%.d,$(filter-out c c++,$(CVC4_LANGUAGE_BINDINGS))): %.d: @srcdir@/.
 # .PHONY so they get rebuilt each time
 .PHONY: .swig_deps $(patsubst %,%.d,$(filter-out c c++,$(CVC4_LANGUAGE_BINDINGS)))
 .swig_deps: $(patsubst %,%.d,$(filter-out c c++,$(CVC4_LANGUAGE_BINDINGS)))
-       $(AM_V_GEN)cat $+ >$@
+       $(AM_V_GEN)cat $+ </dev/null >$@
 @mk_include@ .swig_deps
 
 clean-local:; rm -fr $(patsubst %.cpp,%,$(filter-out c c++,$(CVC4_LANGUAGE_BINDINGS)))