diff options
| author | Guy Harris <guy@alum.mit.edu> | 2015-02-04 16:46:24 -0800 |
|---|---|---|
| committer | Guy Harris <guy@alum.mit.edu> | 2015-02-05 00:47:53 +0000 |
| commit | 5b6252654f173a79e5f4c31f9d584cc3870df1da (patch) | |
| tree | 5db705b464211c2287eafeafec14c1d8c90df5f2 /debian | |
| parent | a2e48c64e7be2f60fe171bbaf50b78a1f2352f63 (diff) | |
OK, try cmake -E copy.
It didn't fail with cp, so maybe that's just random luck, or maybe the
built-in copy functions have an issue, or maybe just copy_if_different
has an issue (64-bit inode number issues?). Try just copy, and see what
happens.
Change-Id: I84abf3846af9305c19ad4a78d5c9df31b1e1e61e
Reviewed-on: https://code.wireshark.org/review/6961
Reviewed-by: Guy Harris <guy@alum.mit.edu>
Diffstat (limited to 'debian')
0 files changed, 0 insertions, 0 deletions