1# These commands must run under both bash and windows cmd.exe (with GnuWin32
2# tools).
3
4# RUN: true
5# RUN: false
6# RUN: true
7