diff options
Diffstat (limited to 'tools/prepall')
| -rwxr-xr-x | tools/prepall | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/tools/prepall b/tools/prepall new file mode 100755 index 00000000..d6eedfdd --- /dev/null +++ b/tools/prepall @@ -0,0 +1,12 @@ +#!/bin/sh + +set -e + +tools/myacprep --opt +tools/myacprep --gprof +tools/myacprep --gcov +tools/myacprep + +touch ~/Products/ledger-gcov/config.status +touch ~/Products/ledger-gprof/config.status +touch ~/Products/ledger-opt/touch config.status |