diff options
Diffstat (limited to 'tools/prepall')
| -rwxr-xr-x | tools/prepall | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/tools/prepall b/tools/prepall deleted file mode 100755 index be9459d8..00000000 --- a/tools/prepall +++ /dev/null @@ -1,12 +0,0 @@ -#!/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/config.status |