- xbt/backtrace_windows.c surf/maxmin_private.h \
- surf/trace_mgr_private.h surf/surf_private.h \
- surf/cpu_private.h surf/workstation_private.h \
- surf/surf_timer_private.h surf/surfxml_parse.c \
- surf/simgrid_dtd.l surf/simgrid_dtd.c surf/simgrid.dtd \
- surf/network_private.h surf/network_gtnets_private.h \
- include/surf/maxmin.h include/surf/trace_mgr.h \
- include/surf/surf.h include/surf/surfxml_parse_private.h \
- include/surf/random_mgr.h include/xbt/context.h \
+ xbt/backtrace_windows.c xbt/backtrace_dummy.c \
+ surf/maxmin_private.h surf/trace_mgr_private.h \
+ surf/surf_private.h surf/cpu_private.h \
+ surf/workstation_private.h surf/surf_timer_private.h \
+ surf/surfxml_parse.c surf/simgrid_dtd.l surf/simgrid_dtd.c \
+ surf/simgrid.dtd surf/network_private.h \
+ surf/network_gtnets_private.h include/surf/maxmin.h \
+ include/surf/trace_mgr.h include/surf/surf.h \
+ include/surf/surfxml_parse_private.h include/surf/random_mgr.h \
+ include/xbt/wine_dbghelp.h include/xbt/context.h \