diff options
| author |   Tom Jones <thj@freebsd.org> | 2024-02-07 13:36:53 +0000 |
|---|---|---|
| committer |   Dave Wallace <dwallacelf@gmail.com> | 2024-04-02 02:26:29 +0000 |
| commit | b3c863eae4c1ed30ff7ad4e42afe2ffd54c1803b (patch) | |
| tree | f8308bb92c4cac3eeb4cc4735d0bbb80e814dc6e /test/scripts | |
| parent | 800386ac3fd83113b533e736369865bd9018b801 (diff) | |
tests: Use gnu sed explicitly in test setup/tear down
Type: improvement
Change-Id: Ie79fd8a5bcfd72a97bf460ef6437913ac34f439c
Signed-off-by: Tom Jones <thj@freebsd.org>
Diffstat (limited to 'test/scripts')
| -rwxr-xr-x | test/scripts/run_in_venv_with_cleanup.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/scripts/run_in_venv_with_cleanup.sh b/test/scripts/run_in_venv_with_cleanup.sh index 3f9d44ff4b5..454c9c9c4ad 100755 --- a/test/scripts/run_in_venv_with_cleanup.sh +++ b/test/scripts/run_in_venv_with_cleanup.sh @@ -21,7 +21,7 @@ panic() { atexit() { group_id=`ps -p $$ -o pgid=` my_id=$$ - ids=`pgrep -g $group_id -d ' ' | sed "s/\b$my_id\b//g"` + ids=`pgrep -g $group_id -d ' ' | gsed "s/\b$my_id\b//g"` echo "Killing possible remaining process IDs: $ids" for id in $ids do |