diff options
| author | Jack·Boos·Yu <47264268+JackBoosY@users.noreply.github.com> | 2020-01-07 03:10:10 +0800 |
|---|---|---|
| committer | dan-shaw <51385773+dan-shaw@users.noreply.github.com> | 2020-01-06 11:10:10 -0800 |
| commit | 683de114177dfd30eed9058bc1f78857018fa806 (patch) | |
| tree | 1e2cfc48a0b4e3297728f2c807c9a7f25feb0b59 /ports/gettimeofday/CONTROL | |
| parent | 9bd91cbebe13d7855595185cd44d0c9ea9049763 (diff) | |
| download | vcpkg-683de114177dfd30eed9058bc1f78857018fa806.tar.gz vcpkg-683de114177dfd30eed9058bc1f78857018fa806.zip | |
[check/gettimeofday] Move static libraries to manual-link. (#9510)
Diffstat (limited to 'ports/gettimeofday/CONTROL')
| -rw-r--r-- | ports/gettimeofday/CONTROL | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ports/gettimeofday/CONTROL b/ports/gettimeofday/CONTROL index 3ae7e0682..d1b85e05f 100644 --- a/ports/gettimeofday/CONTROL +++ b/ports/gettimeofday/CONTROL @@ -1,3 +1,3 @@ Source: gettimeofday -Version: 2017-10-14-2 +Version: 2017-10-14-3 Description: An implementation of gettimeofday for WIN32 |