diff options
Diffstat (limited to 'remote/lib/run.sh')
| -rw-r--r-- | remote/lib/run.sh | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/remote/lib/run.sh b/remote/lib/run.sh deleted file mode 100644 index fdd7311..0000000 --- a/remote/lib/run.sh +++ /dev/null @@ -1,13 +0,0 @@ -function run_ { - local output=$(eval source "$@") - - flock -x $0 echo -e "$output" -} - -function run { - if [ $parallel -gt 0 ]; then - run_ "$@" & - else - run_ "$@" - fi -} |