diff options
| author | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2015-01-15 18:35:58 +0100 |
|---|---|---|
| committer | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2015-01-15 18:35:58 +0100 |
| commit | 37650d71d32f4f5ac9fcd09a37e4a5a991a5a66a (patch) | |
| tree | fe0afca7c5f609f465b076598be9d8df8c912c6a /make.sh | |
| parent | 6edfb34cb3eee958e392a433ae9ac4f240279d09 (diff) | |
Imported Upstream version 0.5.6
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 .. ) |