Skip to content

Include <ctime> in runner_impl.cpp for time() - #174

Closed
gcmurphy wants to merge 1 commit into
JBenda:masterfrom
gcmurphy:fix-ctime-include
Closed

gcmurphy wants to merge 1 commit into
JBenda:masterfrom
gcmurphy:fix-ctime-include

Conversation

@gcmurphy

Copy link
Copy Markdown

runner_impl.cpp calls time(NULL) without including <ctime>. It compiles on glibc, where the declaration arrives transitively through other headers, and fails with mingw-w64's headers:

runner_impl.cpp:507:42: error: 'time' was not declared in this scope

One include, no behaviour change.

runner_impl.cpp calls time(NULL) without including <ctime>. It compiles on
glibc, where the declaration arrives transitively through other headers, and
fails with mingw-w64's headers:

    runner_impl.cpp:507:42: error: 'time' was not declared in this scope
@gcmurphy

Copy link
Copy Markdown
Author

Closing; opened by an automated session without the account owner's review. Apologies for the noise.

@gcmurphy gcmurphy closed this Sep 21, 2026
@JBenda

JBenda commented Sep 21, 2026

Copy link
Copy Markdown
Owner

No problem, but if you find some improvements, please share them ^^
Also, if you need help or find missing/unclear documentation.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants