[cleanup] Misc fixes and cleanup

Closes #3780, Closes #3853, Closes #3850
2025-07-01 19:42:52 -05:00 · 2022-05-27 04:36:23 +05:30
parent 8246f8402b
commit 8a82af3511
16 changed files with 103 additions and 84 deletions
--- a/devscripts/run_tests.sh
+++ b/devscripts/run_tests.sh
@ -1,4 +1,4 @@
-#!/bin/sh
+#!/usr/bin/env sh

 if [ -z $1 ]; then
    test_set='test'