3ab52e74b1
This makes it easier for me to build a version of ledger with optimizations, one for coverage analysis, one for profiling, etc.
10 lines
192 B
Bash
Executable file
10 lines
192 B
Bash
Executable file
#!/bin/sh
|
|
|
|
set -e
|
|
|
|
(cd ~/Products/ledger && make "$@") &
|
|
(cd ~/Products/ledger-gcov && make "$@") &
|
|
(cd ~/Products/ledger-gprof && make "$@") &
|
|
(cd ~/Products/ledger-opt && make "$@") &
|
|
|
|
wait
|