Skip to content

Fix check_shell: $(echo $0) is expanded by make, not the shell - #47

Open
richard-burhans wants to merge 1 commit into
hillerlab:mainfrom
richard-burhans:fix-check-shell
Open

richard-burhans wants to merge 1 commit into
hillerlab:mainfrom
richard-burhans:fix-check-shell

Commits

  1. Commits on Sep 5, 2026