run.sh cmd line argument simplification#43

Merged

shibshib merged 2 commits intomainfrom

Jun 13, 2023

Commits on Jun 13, 2023

Some fixes to cmd line argument processing to make things simpler
Ala Shaabana
committed
Removed echo of cmd line arguments
Ala Shaabana
committed