/test-suite/coq-makefile/missing-install/

• ../
• run.sh