3eb346caeb
script to the #! command by using bash instead of /bin/sh. Bash searches $PATH for its script argument, but dash, which /bin/sh resolves to on some systems, does not. https://bugs.kde.org/show_bug.cgi?id=231257 tracks the valgrind problem. llvm-svn: 98892
11 lines
186 B
Bash
Executable File
11 lines
186 B
Bash
Executable File
#!/usr/bin/env bash
|
|
#
|
|
# Program: ignore
|
|
#
|
|
# Synopsis: Ignore the result code of the command and always return 0
|
|
#
|
|
# Syntax: ignore command <arguments>
|
|
|
|
"$@" || exit 0 && exit 0
|
|
exit 0
|