diff options
| -rw-r--r-- | TODOs.md | 13 |
1 files changed, 13 insertions, 0 deletions
@@ -1,5 +1,18 @@ # Tasks +## TODO Improve `installcheck.sh` {#task-4a7e02bd-ab82-c628-fa1c-02749c178936} +- TODO in 2021-08-15 + +--- + +1. can run `make clean public dev-check` from a tarball; +2. after cleaning the director, it is back to its original state (in file count, + maybe?); +3. can run `make clean public dev-check from a Git clone; +4. after running it, there are no diffs; +5. after running clean, there are also no diffs; +6. `git clean -ffdx` reports zero files or directories. + ## TODO Reduce size of the produced image {#task-77737feb-62ea-b34c-6ab0-cbe8a8827f39} - TODO in 2021-08-13 |