/src/tests/dejagnu/config/

• ../
• default.exp