comparison src/help.cc @ 5451:ed08548b9054

[project @ 2005-09-15 19:52:50 by jwe]
author jwe
date Thu, 15 Sep 2005 19:52:50 +0000
parents 051ddd7a6681
children d2df058c4319
comparison
equal deleted inserted replaced
5450:6b42c78c77d3 5451:ed08548b9054
670 << " --no-warn" 670 << " --no-warn"
671 << " --no-validate" 671 << " --no-validate"
672 << " --no-headers" 672 << " --no-headers"
673 << " --force" 673 << " --force"
674 << " --output \"" << tmp_file_name << "\"" 674 << " --output \"" << tmp_file_name << "\""
675 #if !defined (__MINGW32__)
675 << " > /dev/null 2>&1" 676 << " > /dev/null 2>&1"
677 #endif
676 << OSSTREAM_ENDS; 678 << OSSTREAM_ENDS;
677 679
678 oprocstream filter (OSSTREAM_STR (buf)); 680 oprocstream filter (OSSTREAM_STR (buf));
679 681
680 OSSTREAM_FREEZE (buf); 682 OSSTREAM_FREEZE (buf);