diff options
Diffstat (limited to 'parallel')
| -rw-r--r-- | parallel/all.do | 8 | ||||
| -rw-r--r-- | parallel/default.do | 1 |
2 files changed, 9 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 diff --git a/parallel/default.do b/parallel/default.do new file mode 100644 index 0000000..08bfc4a --- /dev/null +++ b/parallel/default.do @@ -0,0 +1 @@ +sleep 1 |