From: Morgan Deters <mdeters@gmail.com>
Date: Tue, 20 Sep 2011 17:45:00 +0000 (+0000)
Subject: fix build
X-Git-Tag: cvc5-1.0.0~8463
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=69d8f8da6bbb856964d47a583ceb4e50060e9457;p=cvc5.git

fix build
---

diff --git a/src/bindings/Makefile.am b/src/bindings/Makefile.am
index 7c4d7c5a3..227f239da 100644
--- 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)))