diff options
Diffstat (limited to 'src/main/CommandLine.c')
-rw-r--r-- | src/main/CommandLine.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/main/CommandLine.c b/src/main/CommandLine.c index 8ff8442c..529558bd 100644 --- a/src/main/CommandLine.c +++ b/src/main/CommandLine.c @@ -379,12 +379,17 @@ void CCTKi_CommandLineFinished(void) } else { + /* FIXME: remove this #ifdef in beta 8 */ +#ifdef NULL_DEVICE + sprintf(fname,NULL_DEVICE); +#else #ifdef WIN32 /* hack for Windows which doesn't know about /dev/null */ sprintf(fname,"NUL"); #else sprintf(fname,"/dev/null"); #endif +#endif /* NULL_DEVICE */ } freopen(fname,"w",stdout); |