Makefile.am (libstdc++-symbols.ver): Remove useless /dev/null.
[gcc.git] / libstdc++-v3 / src / Makefile.in
index 0776dccc212c3567386d968f5783a23f4bcbbd42..75a207a5e7d9c72bd11517dde7367af4ea71292b 100644 (file)
@@ -939,7 +939,7 @@ compatibility-condvar.o: compatibility-condvar.cc
 @ENABLE_SYMVERS_TRUE@  chmod +w $@.tmp
 @ENABLE_SYMVERS_TRUE@  if test "x$(port_specific_symbol_files)" != x; then \
 @ENABLE_SYMVERS_TRUE@    if grep '^# Appended to version file.' \
-@ENABLE_SYMVERS_TRUE@         $(port_specific_symbol_files) /dev/null > /dev/null 2>&1; then \
+@ENABLE_SYMVERS_TRUE@         $(port_specific_symbol_files) > /dev/null 2>&1; then \
 @ENABLE_SYMVERS_TRUE@      cat $(port_specific_symbol_files) >> $@.tmp; \
 @ENABLE_SYMVERS_TRUE@    else \
 @ENABLE_SYMVERS_TRUE@      sed -n '1,/DO NOT DELETE/p' $@.tmp > tmp.top; \