diff options
| author | Pavel Pisa <pisa@cmp.felk.cvut.cz> | 2019-03-24 00:34:47 +0100 |
|---|---|---|
| committer | Pavel Pisa <pisa@cmp.felk.cvut.cz> | 2019-03-24 00:34:47 +0100 |
| commit | 8016b05d90438e23426522c49660fb8e08a58217 (patch) | |
| tree | e39308936dfa8a14657f91c8a477c85e1070794b /debian/install | |
| parent | 188a406c46550fcc02606764658979e9468de26c (diff) | |
| download | qtmips-8016b05d90438e23426522c49660fb8e08a58217.tar.gz qtmips-8016b05d90438e23426522c49660fb8e08a58217.tar.bz2 qtmips-8016b05d90438e23426522c49660fb8e08a58217.zip | |
Install command line qtmips_cli emulator as well.
Signed-off-by: Pavel Pisa <pisa@cmp.felk.cvut.cz>
Diffstat (limited to 'debian/install')
| -rw-r--r-- | debian/install | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/debian/install b/debian/install index a2aa45c..71a2361 100644 --- a/debian/install +++ b/debian/install @@ -1,3 +1,4 @@ qtmips_gui/qtmips_gui /usr/bin +qtmips_cli/qtmips_cli /usr/bin debian/qtmips.desktop usr/share/applications |