1# Check handling of /dev/null in command line options 2# On windows, it should be redirected to a temp file. 3# 4# RUN: %{python} %S/check_args.py --my_arg /dev/null | FileCheck %s --check-prefix=CHECK1 5# CHECK1: OK 6 7# RUN: %{python} %S/check_args.py --my_arg=/dev/null | FileCheck %s --check-prefix=CHECK2 8# CHECK2: OK 9 10# RUN: %{python} %S/check_args.py -a /dev/null | FileCheck %s --check-prefix=CHECK3 11# CHECK3: OK 12 13# RUN: %{python} %S/check_args.py -a=/dev/null | FileCheck %s --check-prefix=CHECK4 14# CHECK4: OK 15