diff options
| author | jak1 <mike.wollmann@gmail.com> | 2021-06-05 10:36:14 +0200 |
|---|---|---|
| committer | jak1 <mike.wollmann@gmail.com> | 2021-06-05 10:36:14 +0200 |
| commit | 0e1646daec472efb628afdd28a930d74f66983ee (patch) | |
| tree | fe627e1a3561ec3f9af44bc044e8cde19ffb90e4 /build.sh | |
| parent | 32ee4d266200cc87c4cb0eb21990fa0ef7f46140 (diff) | |
| download | mv-0e1646daec472efb628afdd28a930d74f66983ee.tar.gz mv-0e1646daec472efb628afdd28a930d74f66983ee.tar.bz2 mv-0e1646daec472efb628afdd28a930d74f66983ee.tar.xz mv-0e1646daec472efb628afdd28a930d74f66983ee.zip | |
added (optional) leftover args to build and run script
Diffstat (limited to 'build.sh')
| -rwxr-xr-x | build.sh | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -6,7 +6,7 @@ autoreconf -i ./configure --prefix=$dir/run \ --datadir=$dir/run/share/games \ --bindir=$dir/run/bin \ ---mandir=$dir/run/share/man +--mandir=$dir/run/share/man $* cd po make update-gmo |