Kavon Farvardin b5e0f95a18 eliminate pipes in favor of shlex ...

This solves deprecation warnings in build-script:

```
DeprecationWarning: 'pipes' is deprecated and slated for removal in Python 3.13
```

This change assumes that the minimum version
of Python3 is 3.3, which has `shlex.quote`.

Since our build bots currently use 3.6 as their
Python version, we can't yet use `shlex.join`
to further simplify some of the code using
quote.

2023-07-25 15:24:54 -07:00

..

coverage-build-db

…

coverage-generate-data

eliminate pipes in favor of shlex

2023-07-25 15:24:54 -07:00

coverage-query-db

…

coverage-touch-tests

…