- return;
- }
-
- execv(name, main_argv);
- exit(1);
-}
-
-static void execute_dir (char *dirname)
-{
- DIR *directory;
- struct dirent *entry;
- char filename[NAME_SIZE];
- int name_len;
-
- dbg("opening %s", dirname);
- directory = opendir(dirname);
- if (!directory)
- return;
-
- while ((entry = readdir(directory))) {
- if (entry->d_name[0] == '\0')
- break;
- /* Don't run the files '.', '..', or hidden files,
- * or files that start with a '#' */
- if ((entry->d_name[0] == '.') ||
- (entry->d_name[0] == COMMENT_PREFIX))
- continue;
-
- /* Nor do we run files that do not end in ".dev" */
- name_len = strlen(entry->d_name);
- if (name_len < strlen(SUFFIX))
- continue;
- if (strcmp(&entry->d_name[name_len - sizeof (SUFFIX) + 1], SUFFIX) != 0)
- continue;
-
- /* FIXME - need to use file_list_insert() here to run these in sorted order... */
- snprintf(filename, sizeof(filename), "%s%s", dirname, entry->d_name);
- filename[sizeof(filename)-1] = '\0';
- run_program(filename);