diff options
author | Ruben Undheim <ruben.undheim@gmail.com> | 2016-11-04 07:01:20 +0000 |
---|---|---|
committer | Ruben Undheim <ruben.undheim@gmail.com> | 2016-11-04 07:01:20 +0000 |
commit | 66d71fe78f94f8f9c84e43e901b81eac5caef8df (patch) | |
tree | 2a653d287d357a0ea1c3867d779f24119de08cb0 /debian/yosys-dev.install | |
parent | b4c3608f09bf10b172c909661cc9ed4166e94683 (diff) |
Fixed install files
Diffstat (limited to 'debian/yosys-dev.install')
-rw-r--r-- | debian/yosys-dev.install | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/debian/yosys-dev.install b/debian/yosys-dev.install index 86ec5321..e2e0fe2f 100644 --- a/debian/yosys-dev.install +++ b/debian/yosys-dev.install @@ -1,3 +1,3 @@ -debian/tmp/usr/bin/yosys-config usr/bin/ +usr/bin/yosys-config -debian/tmp/usr/share/yosys/include/* usr/share/yosys/include/ +usr/share/yosys/include/* |