diff options
author | George Marques <george@gmarqu.es> | 2023-02-22 15:52:36 -0300 |
---|---|---|
committer | George Marques <george@gmarqu.es> | 2023-02-22 15:52:36 -0300 |
commit | 554b55ae7430ee65240cac71ec86bf1c37bca5cc (patch) | |
tree | 2ba8acc31a664256259f6d2cafc2dc7d8b5af906 /doc/Makefile | |
parent | 5f3dee5988391deffcc0de1039dd50e05e266913 (diff) |
Load script for addons without cache
Since they are postponed sometimes due to transient script errors, it
needs to try again without the cache to compile the script again
instead of using the failed one.
Diffstat (limited to 'doc/Makefile')
0 files changed, 0 insertions, 0 deletions