diff options
author | Jing Yu <jingyu@google.com> | 2009-11-18 17:59:49 -0800 |
---|---|---|
committer | Jing Yu <jingyu@google.com> | 2009-11-18 17:59:49 -0800 |
commit | 1ac8971afc375b8d4ce9060c0dd93e255ac84535 (patch) | |
tree | cdbc34584a91a1c6bdff1dbe3f0cff170b65d2a8 /clear_header.sh | |
parent | 5d79c3490b4abd11dbbc81539aa04abdd668cf31 (diff) | |
download | build-1ac8971afc375b8d4ce9060c0dd93e255ac84535.tar.gz |
Check in patches that fix minor toolchain build problems.
Diffstat (limited to 'clear_header.sh')
-rwxr-xr-x | clear_header.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/clear_header.sh b/clear_header.sh index 023eb25..d7b69b5 100755 --- a/clear_header.sh +++ b/clear_header.sh @@ -85,7 +85,7 @@ for one_header in ${installed_headers}; do text="Y" fi if [[ "${text}" = "Y" || "${text}" = "y" ]]; then - rm ${one_header} + rm -f ${one_header} echo "... Removed!" fi fi |