diff options
| author | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2015-01-15 18:59:03 +0100 |
|---|---|---|
| committer | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2015-01-15 18:59:03 +0100 |
| commit | 484946ba512d2f441471e3d7e1b839b4f71c54a7 (patch) | |
| tree | cfe32a46fee52ab246d2258d7fcec862eb1af9ad /make.sh | |
| parent | 45fa2e053bf7f7d51f3e0583abe3d53de4ebdcfd (diff) | |
Merge Upstream Release
Diffstat (limited to 'make.sh')
| -rwxr-xr-x | make.sh | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -2,4 +2,4 @@ mkdir build -cd build; cmake ..; make && ( cd .. ) +cd build; cmake ..; make -j8 && ( cd .. ) |