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);