diff options
| -rw-r--r-- | exec/exec.c | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/exec/exec.c b/exec/exec.c index 25628d79..01d22e70 100644 --- a/exec/exec.c +++ b/exec/exec.c @@ -1000,7 +1000,9 @@ finish_mapping (struct execdata *e) } } -/* Clean up after reading the file (need not be completed). */ +/* Clean up after reading the file (need not be completed). + Note: this may be called several times for the E, so it must take care + of checking what was already freed. */ void finish (struct execdata *e, int dealloc_file) { |