diff options
author | Bradley Sepos <[email protected]> | 2016-06-21 22:07:11 -0400 |
---|---|---|
committer | Bradley Sepos <[email protected]> | 2016-06-21 22:18:47 -0400 |
commit | 2fa833e52ba7aded4f41ea855e7ce86e45635bf4 (patch) | |
tree | 2abdb996078360d83527e387957c68a0da2e46d3 /make/include | |
parent | 36c415e26e9fd28239655373e594b244fde637ea (diff) |
contrib: Update to pthreads-win32 2.9.1.
Diffstat (limited to 'make/include')
-rw-r--r-- | make/include/tool.defs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/make/include/tool.defs b/make/include/tool.defs index cfd3b3ef4..53fdf89eb 100644 --- a/make/include/tool.defs +++ b/make/include/tool.defs @@ -12,3 +12,4 @@ MV.exe = mv ZIP.exe = zip LN.exe = ln GIT.exe = git +SED.exe = sed |