diff options
Diffstat (limited to 'src/makefile.w32-in')
-rw-r--r-- | src/makefile.w32-in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/makefile.w32-in b/src/makefile.w32-in index a8dcf5f2ae..7b9c67bf13 100644 --- a/src/makefile.w32-in +++ b/src/makefile.w32-in @@ -1365,6 +1365,7 @@ $(BLD)/sysdep.$(O) : \ $(NT_INC)/sys/stat.h \ $(NT_INC)/unistd.h \ $(GNU_LIB)/allocator.h \ + $(GNU_LIB)/execinfo.h \ $(GNU_LIB)/ignore-value.h \ $(GNU_LIB)/utimens.h \ $(BLOCKINPUT_H) \ |