diff options
| author | Boris Kolpackov <boris@codesynthesis.com> | 2012-09-18 10:17:35 +0200 |
|---|---|---|
| committer | Boris Kolpackov <boris@codesynthesis.com> | 2012-09-18 10:17:35 +0200 |
| commit | bc199a1762a1ce3ab1e60ec29568c71a35945280 (patch) | |
| tree | dbdece2ef59d6efa857c89fe58e70f464293d2ff /common/optimistic/makefile | |
| parent | 977a139491fea682c9e2c0e549c680481d0e97fc (diff) | |
Use more portable regex separator2.1.0
In particular, if we use / as in "/foo/bar/", MinGW will replace the
leading / with a Windows path. So we use # instead, which seems to
work well everywhere.
Diffstat (limited to 'common/optimistic/makefile')
0 files changed, 0 insertions, 0 deletions