diff options
| author | hallgren <hallgren@chalmers.se> | 2014-06-19 09:26:44 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2014-06-19 09:26:44 +0000 |
| commit | ceb4beeb84d065b1bbb8d705f79e0ac83a642871 (patch) | |
| tree | c31478e26b9efbd5194001f6d0d778f56322b7be /src/runtime | |
| parent | 318c69f58a9c28f01f12661d9edaa33926d78864 (diff) | |
runtime/c/setup.sh: use make -j to speed up compilation
The configuration script takes significantly longer to run than the compilation
of all the C code, which is a hint that is in need of a major simplification.
Diffstat (limited to 'src/runtime')
| -rw-r--r-- | src/runtime/c/setup.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/runtime/c/setup.sh b/src/runtime/c/setup.sh index d77bf6873..fdc8f7aec 100644 --- a/src/runtime/c/setup.sh +++ b/src/runtime/c/setup.sh @@ -11,7 +11,7 @@ case "$command" in ./configure "$@" ;; build) - make "$@" + make -j "$@" ;; copy|install) make install "$@" |