diff options
author | Ben Hutchings <ben@decadent.org.uk> | 2019-10-07 18:56:04 +0100 |
---|---|---|
committer | Ben Hutchings <ben@decadent.org.uk> | 2019-10-07 18:56:09 +0100 |
commit | e035a6d89e2f6e29ff6cc774c1174e970184cc37 (patch) | |
tree | 96c0dc343a9f686b11840afc593c1e695dc58bb4 | |
parent | ebf388b9f77c90e43ad36bd5d03d064bcb187e7d (diff) | |
download | klibc-maint-e035a6d89e2f6e29ff6cc774c1174e970184cc37.tar.gz |
test-many-klibcs: Delete build directory before building
Currently we clean the source directory. That's probably worth
continuing to do, but in case I change the build configurations or
tools the build directory really needs to be cleaned too.
-rwxr-xr-x | test-many-klibcs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/test-many-klibcs b/test-many-klibcs index 7b052ef..4f44cb9 100755 --- a/test-many-klibcs +++ b/test-many-klibcs @@ -62,6 +62,7 @@ do_install() { clean() { echo "I: Cleaning" (cd ../klibc && git clean -d -f -x) + rm -rf "build/$gnuarch" } run_built() { |