| # Check handling of /dev/null in command line options | |
| # On windows, it should be redirected to a temp file. | |
| # | |
| # RUN: %{python} %S/check_args.py --my_arg /dev/null | FileCheck %s --check-prefix=CHECK1 | |
| # CHECK1: OK | |
| # RUN: %{python} %S/check_args.py --my_arg=/dev/null | FileCheck %s --check-prefix=CHECK2 | |
| # CHECK2: OK | |
| # RUN: %{python} %S/check_args.py -a /dev/null | FileCheck %s --check-prefix=CHECK3 | |
| # CHECK3: OK | |
| # RUN: %{python} %S/check_args.py -a=/dev/null | FileCheck %s --check-prefix=CHECK4 | |
| # CHECK4: OK |