diff options
| author | Linus Groh <mail@linusgroh.de> | 2021-05-01 23:22:27 +0200 |
|---|---|---|
| committer | Linus Groh <mail@linusgroh.de> | 2021-05-01 23:22:27 +0200 |
| commit | 013b2c1627aebbefae7e3d6b81499385ad6d979a (patch) | |
| tree | c9e91e0667b46e7e0ca7fd81c747e228db0c1f6d /Ports | |
| parent | 0a94b4233f86da44c384657a297cdbe9164d029c (diff) | |
| download | serenity-013b2c1627aebbefae7e3d6b81499385ad6d979a.zip | |
Ports: Fix hatari install step
Fixes #6798.
Diffstat (limited to 'Ports')
| -rwxr-xr-x | Ports/hatari/package.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Ports/hatari/package.sh b/Ports/hatari/package.sh index 9cd46b6b95..fdf7106342 100755 --- a/Ports/hatari/package.sh +++ b/Ports/hatari/package.sh @@ -15,3 +15,7 @@ launcher_command=hatari configure() { run cmake $configopts } + +install() { + run make install +} |