diff options
| author | Olivier Gayot <og@satcom1.com> | 2018-12-01 12:08:14 +0100 |
|---|---|---|
| committer | Olivier Gayot <og@satcom1.com> | 2018-12-01 12:10:07 +0100 |
| commit | 2c1e9c3068abeff31dcfa8082ac0096d2ff88593 (patch) | |
| tree | 53e468bd5c46ee1b4e3b9eb691ebc7a8e831056a /debian | |
| parent | 3282ab0cd838ab7e070021cd2a537d78e60d263a (diff) | |
Fix library installation
Running "make install" was failing if the target directory in
/usr/include was not present.
Fixed by using the install command instead of cp.
Signed-off-by: Olivier Gayot <og@satcom1.com>
Diffstat (limited to 'debian')
0 files changed, 0 insertions, 0 deletions