"tools/graspe-slave" ) CONFIG_FILES="$CONFIG_FILES tools/graspe-slave" ;;
"testsuite/Makefile" ) CONFIG_FILES="$CONFIG_FILES testsuite/Makefile" ;;
"testsuite/run_tests" ) CONFIG_FILES="$CONFIG_FILES testsuite/run_tests" ;;
"tools/graspe-slave" ) CONFIG_FILES="$CONFIG_FILES tools/graspe-slave" ;;
"testsuite/Makefile" ) CONFIG_FILES="$CONFIG_FILES testsuite/Makefile" ;;
"testsuite/run_tests" ) CONFIG_FILES="$CONFIG_FILES testsuite/run_tests" ;;