* write_to_null.f90: Rename to write_to_null.F90.
* write_to_null.F90: On Windows, "nul" is the equivalent of the
Unix /dev/null.
From-SVN: r135158
+2008-05-10 Francois-Xavier Coudert <fxcoudert@gcc.gnu.org>
+
+ * write_to_null.f90: Rename to write_to_null.F90.
+ * write_to_null.F90: On Windows, "nul" is the equivalent of the
+ Unix /dev/null.
+
2008-05-10 Richard Sandiford <rdsandiford@googlemail.com>
PR rtl-optimization/33642
--- /dev/null
+! { dg-do run }
+! pr18983
+! could not write to /dev/null
+
+#if defined _WIN32
+#define DEV_NULL "nul"
+#else
+#define DEV_NULL "/dev/null"
+#endif
+
+ integer i
+ open(10,file=DEV_NULL)
+ do i = 1,100
+ write(10,*) "Hello, world"
+ end do
+ end
+++ /dev/null
-! { dg-do run }
-! pr18983
-! could not write to /dev/null
- integer i
- open(10,file="/dev/null")
- do i = 1,100
- write(10,*) "Hello, world"
- end do
- end