Skip to content

Commit

Permalink
Fix Issue 768 - A switch to print predefined version identifiers
Browse files Browse the repository at this point in the history
  • Loading branch information
Alexandru Razvan Caciulescu committed Dec 7, 2016
1 parent 6269887 commit e0392f9
Showing 1 changed file with 13 additions and 0 deletions.
13 changes: 13 additions & 0 deletions src/mars.d
Original file line number Diff line number Diff line change
Expand Up @@ -1942,4 +1942,17 @@ private void addDefaultVersionIdentifiers()
if (global.params.useArrayBounds == BOUNDSCHECKoff)
VersionCondition.addPredefinedGlobalIdent("D_NoBoundsChecks");
VersionCondition.addPredefinedGlobalIdent("D_HardFloat");

printPredefinedVersions();
}

private void printPredefinedVersions()
{
if (global.params.verbose && global.params.versionids) {
fprintf(global.stdmsg, "predefs ");
for (int i = 0; i < global.params.versionids.dim; i++) {
fprintf(global.stdmsg, "%s ", global.params.versionids.data[i]);
}
fprintf(global.stdmsg, "\n");
}
}

0 comments on commit e0392f9

Please sign in to comment.