Remove duplicated Windows configure options.
authorBruce Cran <bruce@cran.org.uk>
Sat, 2 Feb 2013 20:59:31 +0000 (20:59 +0000)
committerJens Axboe <axboe@kernel.dk>
Sun, 3 Feb 2013 12:49:37 +0000 (13:49 +0100)
Signed-off-by: Jens Axboe <axboe@kernel.dk>
configure

index d332c5eb246f29ad4f478fcaca6bd243715c8eec..078dab8885002459e71f44a8b98dbe69d230e2cd 100755 (executable)
--- a/configure
+++ b/configure
@@ -187,9 +187,6 @@ CYGWIN*)
   fi
   output_sym "CONFIG_LITTLE_ENDIAN"
   output_sym "CONFIG_64BIT_LLP64"
-  output_sym "CONFIG_CLOCK_GETTIME"
-  output_sym "CONFIG_CLOCK_MONOTONIC"
-  output_sym "CONFIG_GETTIMEOFDAY"
   output_sym "CONFIG_FADVISE"
   output_sym "CONFIG_SOCKLEN_T"
   output_sym "CONFIG_POSIX_FALLOCATE"
@@ -198,6 +195,7 @@ CYGWIN*)
   output_sym "CONFIG_RUSAGE_THREAD"
   output_sym "CONFIG_WINDOWSAIO"
   output_sym "CONFIG_FDATASYNC"
+  output_sym "CONFIG_CLOCK_MONOTONIC"
   output_sym "CONFIG_GETTIMEOFDAY"
   output_sym "CONFIG_CLOCK_GETTIME"
   output_sym "CONFIG_SCHED_IDLE"