Martijn Dekker 48f78227a9 Fix $PPID for hashbangless script (re: 232b7bff) ... I made a mistake in sh.reinit() which caused $PPID to be set to the new process ID, not the parent process ID. This commit fixes it by introducing, updating and using sh.current_ppid, so we continue to minimise context switches due to getpid(2)/getppid(2) system calls. Thanks to Geoff Clare for the report.		2022-07-27 22:48:57 +02:00
..
INIT	package: don't warn about missing yacc or bison	2022-07-25 06:33:41 +02:00
builtin	Round number I-lost-count-long-ago of minor cleanups	2022-07-24 16:29:17 +02:00
ksh93	Fix $PPID for hashbangless script (re: 232b7bff)	2022-07-27 22:48:57 +02:00
Mamfile	More misc. tweaks and cleanups	2022-07-14 17:34:08 +02:00