Skip to content

Commit 28d3e7e

Browse files
committed
Extend real gcc hack to current and future versions
1 parent 4d70d89 commit 28d3e7e

File tree

1 file changed

+4
-0
lines changed

1 file changed

+4
-0
lines changed

bin/realGccConfigure.ml

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -13,6 +13,10 @@ let is_real_gcc c gcc =
1313

1414
let gccs = [
1515
"gcc";
16+
"gcc-16";
17+
"gcc-15";
18+
"gcc-14";
19+
"gcc-13";
1620
"gcc-12";
1721
"gcc-11";
1822
"gcc-10";

0 commit comments

Comments
 (0)