1 #!/bin/sh 2 3 # Copyright (C) 2021-2024 Free Software Foundation, Inc. 4 # 5 # This file is part of GDB. 6 # 7 # This program is free software; you can redistribute it and/or modify 8 # it under the terms of the GNU General Public License as published by 9 # the Free Software Foundation; either version 3 of the License, or 10 # (at your option) any later version. 11 # 12 # This program is distributed in the hope that it will be useful, but 13 # WITHOUT ANY WARRANTY; without even the implied warranty of 14 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU 15 # General Public License for more details. 16 # 17 # You should have received a copy of the GNU General Public License 18 # along with this program. If not, see 19 # <http://www.gnu.org/licenses/>. 20 21 # Wrap any passed-in program and args in a pipe, so that the program 22 # is started without a terminal. 23 24 exec "$@" </dev/null 2>&1 | cat 25
Indexes created Sat Feb 28 05:31:39 UTC 2026