make_vars #3

Merged

statzitz merged 3 commits from make_vars into main

2024-04-05 23:19:32 +02:00

Author	SHA1	Message	Date
primardj	0db8158795	remove an useless TODO and add three good ones.	2024-04-05 22:19:10 +01:00
primardj	989025fe69	add env var SVWAIT	2024-04-05 22:10:11 +01:00
primardj	a66357a179	check value env variable SVDIR	2024-04-05 22:00:23 +01:00