mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-10-29 18:03:18 -06:00
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.
This commit is contained in:
1 parent
318c69f58a
commit
ceb4beeb84
1 file changed
+1
-1
@@ -11,7 +11,7 @@ case "$command" in
|
||||
./configure "$@"
|
||||
;;
|
||||
build)
|
||||
make "$@"
|
||||
make -j "$@"
|
||||
;;
|
||||
copy|install)
|
||||
make install "$@"
|
||||
|
||||
Reference in new issue
Block a user