diff options
Diffstat (limited to 'parallel/all.do')
| -rw-r--r-- | parallel/all.do | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/parallel/all.do b/parallel/all.do new file mode 100644 index 0000000..83bac6b --- /dev/null +++ b/parallel/all.do @@ -0,0 +1,8 @@ +start=$(date +%s) +redo-ifchange a b c +end=$(date +%s) +if [ "$(( $end - $start ))" -lt "3" ]; then + echo "PASS: parallel build" >&2 +else + echo "FAIL: parallel build" >&2 +fi |