From 8e430ec9b5fc9e3f848e45661fcbe10811f50842 Mon Sep 17 00:00:00 2001
From: "seawood%netscape.com" <seawood%netscape.com>
Date: Sun, 2 Dec 2001 21:56:15 +0000
Subject: [PATCH] Remove --disable-gcc-pipe option. Bug #81031

---
 configure.in | 8 +-------
 1 file changed, 1 insertion(+), 7 deletions(-)

diff --git a/configure.in b/configure.in
index fb16e626cc15..04585e291226 100644
--- a/configure.in
+++ b/configure.in
@@ -3399,14 +3399,8 @@ MOZ_ARG_HEADER(Compiler Options)
 dnl ========================================================
 dnl Check for gcc -pipe support
 dnl ========================================================
-MOZ_ARG_DISABLE_BOOL(gcc-pipe,
-[  --disable-gcc-pipe      Disable -pipe check for gcc],
-    NO_GCC_PIPE=1)
-
 AC_MSG_CHECKING([for gcc -pipe support])
-if test -n "$NO_GCC_PIPE"; then
-    AC_MSG_RESULT([disabled])
-elif test -n "$GNU_CC" && test -n "$GNU_CXX" && test -n "$GNU_AS"; then
+if test -n "$GNU_CC" && test -n "$GNU_CXX" && test -n "$GNU_AS"; then
     echo '#include <stdio.h>' > dummy-hello.c
     echo 'int main() { printf("Hello World\n"); exit(0); }' >> dummy-hello.c
     ${CC} -S dummy-hello.c -o dummy-hello.s 2>&5