diff options
Diffstat (limited to 'ok')
-rw-r--r-- | ok | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/ok b/ok new file mode 100644 index 0000000..43a98a2 --- /dev/null +++ b/ok | |||
@@ -0,0 +1,16 @@ | |||
1 | # planet! -*- sh -*- | ||
2 | |||
3 | build(){ # build the library/whatever | ||
4 | ok chicken-install -n | ||
5 | } | ||
6 | |||
7 | clean(){ # clean up ignored files | ||
8 | ignore=.gitignore | ||
9 | test -f "$ignore" || return 1 | ||
10 | while read -r glob | ||
11 | do find . -iname "$glob" | | ||
12 | while read -r file | ||
13 | do ok rm "$file" | ||
14 | done | ||
15 | done < "$ignore" | ||
16 | } | ||