diff options
author | Daniel Jacobowitz <dan@debian.org> | 2007-10-02 15:56:51 +0000 |
---|---|---|
committer | Daniel Jacobowitz <dan@debian.org> | 2007-10-02 15:56:51 +0000 |
commit | 8834cbdeea9e478dbe0cb64a076853a3aab2f4e4 (patch) | |
tree | 50670d257018c659b7e309c67a0b990234e82b0f /gdb/inflow.c | |
parent | cdc0d0986e0a02dfe6e5cdc11595cfae7c245a03 (diff) | |
download | gdb-8834cbdeea9e478dbe0cb64a076853a3aab2f4e4.tar.gz |
* inflow.c (terminal_ours_1): Remove useless line.
Diffstat (limited to 'gdb/inflow.c')
-rw-r--r-- | gdb/inflow.c | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/gdb/inflow.c b/gdb/inflow.c index 86eae0ec7e8..99cc955d04f 100644 --- a/gdb/inflow.c +++ b/gdb/inflow.c @@ -408,8 +408,6 @@ terminal_ours_1 (int output_only) result = fcntl (0, F_SETFL, tflags_ours); result = fcntl (0, F_SETFL, tflags_ours); #endif - - result = result; /* lint */ } } |