mirror of
https://git.FreeBSD.org/src.git
synced 2024-12-25 11:37:56 +00:00
Save (empty) worklist at successful completion
This commit is contained in:
parent
6d6588a152
commit
0353e472df
Notes:
svn2git
2020-12-20 02:59:44 +00:00
svn path=/head/; revision=190317
@ -306,6 +306,7 @@ main(int argc, char * const argv[])
|
||||
free(lp);
|
||||
}
|
||||
PRINT_STATUS(start, i, len, state, d, t);
|
||||
save_worklist();
|
||||
printf("\nCompleted\n");
|
||||
return (0);
|
||||
}
|
||||
|
Loading…
Reference in New Issue
Block a user