diff options
author | Ravi K Yenduri <yenduri@pv.com> | 2009-10-04 14:18:08 -0500 |
---|---|---|
committer | Jean-Baptiste Queru <jbq@google.com> | 2009-10-16 10:05:01 -0700 |
commit | 9c56fab5113b09deeda424521b16a4358475fb90 (patch) | |
tree | 8491643fc8c5e44ea5628eae73e08eb731d1cb94 | |
parent | 7a25e94dd0a02d9bec3a607da6ee7218b7051ab5 (diff) | |
download | prebuilt-open-9c56fab5113b09deeda424521b16a4358475fb90.tar.gz |
Script to clean proprietary files
-rwxr-xr-x | clean-files.sh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/clean-files.sh b/clean-files.sh new file mode 100755 index 0000000..53e0487 --- /dev/null +++ b/clean-files.sh @@ -0,0 +1,4 @@ +#!/bin/sh + +rm -rf proprietary + |