install.sh: Print more informative error if created file is empty#447

Merged

ruben-arts merged 1 commit intoprefix-dev:mainfrom traversaro:patch-1

Nov 11, 2023

+7

Commits on Nov 11, 2023

install.sh: Print more informative error if created file is empty
traversaro
authored