diff options
-rwxr-xr-x | ok | 7 |
1 files changed, 3 insertions, 4 deletions
diff --git a/ok b/ok index 22aa7bb..028518a 100755 --- a/ok +++ b/ok | |||
@@ -98,10 +98,9 @@ ok(){ # ok COMMAND ARGS.. | |||
98 | quietly(){ "$@" >/dev/null 2>&1; } | 98 | quietly(){ "$@" >/dev/null 2>&1; } |
99 | 99 | ||
100 | allfiles(){ | 100 | allfiles(){ |
101 | cut -f2- <"$FRFILE" | | 101 | while read -r target line |
102 | while read -r line | 102 | do TARGET="$target" eval "$line" |
103 | do eval "$line" | 103 | done <"$FRFILE" |
104 | done | ||
105 | } | 104 | } |
106 | 105 | ||
107 | fr(){ # fr < TARGET JOB DEPS... | 106 | fr(){ # fr < TARGET JOB DEPS... |