make warns about undefined variable ' ' #12021
Description
In trunk and since I don't know when, make --warn-undefined-variables produces 3212 warnings about undefined variables. See below for a compressed list.
On the 4.14 branch, it produces zero warnings, like it should.
Could our Makefile experts please look into this? Right now it just adds tremendous noise to Inria CI logs.
The full list, sorted and uniq-ified:
compilerlibs/Makefile.compilerlibs:429: warning: undefined variable ' '
compilerlibs/Makefile.compilerlibs:434: warning: undefined variable ' '
compilerlibs/Makefile.compilerlibs:441: warning: undefined variable ' '
compilerlibs/Makefile.compilerlibs:446: warning: undefined variable ' '
compilerlibs/Makefile.compilerlibs:453: warning: undefined variable ' '
compilerlibs/Makefile.compilerlibs:455: warning: undefined variable ' '
compilerlibs/Makefile.compilerlibs:464: warning: undefined variable ' '
compilerlibs/Makefile.compilerlibs:469: warning: undefined variable ' '
compilerlibs/Makefile.compilerlibs:476: warning: undefined variable ' '
compilerlibs/Makefile.compilerlibs:481: warning: undefined variable ' '
dynlink_compilerlibs/Makefile:19: warning: undefined variable ' '
dynlink_compilerlibs/Makefile:19: warning: undefined variable 'OCAMLDEPFLAGS'
Makefile:1144: warning: undefined variable ' '
Makefile:1176: warning: undefined variable ' '
Makefile:1178: warning: undefined variable ' '
Makefile:1192: warning: undefined variable ' '
Makefile:1195: warning: undefined variable ' '
Makefile:120: warning: undefined variable ' '
Makefile:126: warning: undefined variable ' '
Makefile:127: warning: undefined variable ' '
Makefile:1286: warning: undefined variable ' '
Makefile:129: warning: undefined variable ' '
Makefile:138: warning: undefined variable ' '
Makefile:140: warning: undefined variable ' '
Makefile:1410: warning: undefined variable ' '
Makefile:141: warning: undefined variable ' '
Makefile:142: warning: undefined variable ' '
Makefile:143: warning: undefined variable ' '
Makefile:146: warning: undefined variable ' '
Makefile:149: warning: undefined variable ' '
Makefile:1523: warning: undefined variable ' '
Makefile:1526: warning: undefined variable ' '
Makefile:152: warning: undefined variable ' '
Makefile:1541: warning: undefined variable ' '
Makefile:1544: warning: undefined variable ' '
Makefile:1547: warning: undefined variable ' '
Makefile:154: warning: undefined variable ' '
Makefile:155: warning: undefined variable ' '
Makefile:161: warning: undefined variable ' '
Makefile:165: warning: undefined variable ' '
Makefile:170: warning: undefined variable ' '
Makefile:173: warning: undefined variable ' '
Makefile:176: warning: undefined variable ' '
Makefile:177: warning: undefined variable ' '
Makefile:180: warning: undefined variable ' '
Makefile:181: warning: undefined variable ' '
Makefile:183: warning: undefined variable ' '
Makefile:184: warning: undefined variable ' '
Makefile:185: warning: undefined variable ' '
Makefile:196: warning: undefined variable ' '
Makefile:197: warning: undefined variable ' '
Makefile:198: warning: undefined variable ' '
Makefile:201: warning: undefined variable ' '
Makefile:204: warning: undefined variable ' '
Makefile:205: warning: undefined variable ' '
Makefile:207: warning: undefined variable ' '
Makefile:210: warning: undefined variable ' '
Makefile:214: warning: undefined variable ' '
Makefile:218: warning: undefined variable ' '
Makefile:219: warning: undefined variable ' '
Makefile:221: warning: undefined variable ' '
Makefile:299: warning: undefined variable ' '
Makefile:302: warning: undefined variable ' '
Makefile:305: warning: undefined variable ' '
Makefile:44: warning: undefined variable ' '
Makefile:498: warning: undefined variable ' '
Makefile:502: warning: undefined variable ' '
Makefile:51: warning: undefined variable ' '
Makefile:546: warning: undefined variable ' '
Makefile:55: warning: undefined variable ' '
Makefile:56: warning: undefined variable ' '
Makefile:582: warning: undefined variable ' '
Makefile:59: warning: undefined variable ' '
Makefile:60: warning: undefined variable ' '
Makefile:62: warning: undefined variable ' '
Makefile:64: warning: undefined variable ' '
Makefile:65: warning: undefined variable ' '
Makefile:69: warning: undefined variable ' '
Makefile:73: warning: undefined variable ' '
Makefile:76: warning: undefined variable ' '
Makefile:770: warning: undefined variable ' '
Makefile:78: warning: undefined variable ' '
Makefile:798: warning: undefined variable ' '
Makefile:79: warning: undefined variable ' '
Makefile:801: warning: undefined variable ' '
Makefile:80: warning: undefined variable ' '
Makefile:817: warning: undefined variable ' '
Makefile:81: warning: undefined variable ' '
Makefile:826: warning: undefined variable ' '
Makefile:837: warning: undefined variable ' '
Makefile:840: warning: undefined variable ' '
Makefile:845: warning: undefined variable ' '
Makefile:852: warning: undefined variable ' '
Makefile:858: warning: undefined variable ' '
Makefile:864: warning: undefined variable ' '
Makefile:867: warning: undefined variable ' '
Makefile:870: warning: undefined variable ' '
Makefile:873: warning: undefined variable ' '
Makefile:876: warning: undefined variable ' '
Makefile:879: warning: undefined variable ' '
Makefile:882: warning: undefined variable ' '
Makefile:885: warning: undefined variable ' '
Makefile:888: warning: undefined variable ' '
Makefile:88: warning: undefined variable ' '
Makefile:891: warning: undefined variable ' '
Makefile:894: warning: undefined variable ' '
Makefile:91: warning: undefined variable ' '
Makefile:962: warning: undefined variable ' '
Makefile:983: warning: undefined variable ' '
Makefile:986: warning: undefined variable ' '
Makefile:986: warning: undefined variable 'OC_DEBUG_CPPFLAGS'
Makefile:989: warning: undefined variable ' '
Makefile:989: warning: undefined variable 'OC_INSTR_CPPFLAGS'
Makefile:98: warning: undefined variable ' '
Makefile:992: warning: undefined variable ' '
../Makefile.common:173: warning: undefined variable ' '
Makefile.common:173: warning: undefined variable ' '
../Makefile.common:213: warning: undefined variable ' '
Makefile.common:213: warning: undefined variable ' '
../Makefile.common:222: warning: undefined variable ' '
Makefile.common:222: warning: undefined variable ' '
../Makefile.common:45: warning: undefined variable ' '
../Makefile.common:53: warning: undefined variable ' '
../Makefile.otherlibs.common:100: warning: undefined variable ' '
../Makefile.otherlibs.common:159: warning: undefined variable ' '
../Makefile.otherlibs.common:162: warning: undefined variable ' '
../Makefile.otherlibs.common:165: warning: undefined variable ' '
../Makefile.otherlibs.common:168: warning: undefined variable ' '
../Makefile.otherlibs.common:172: warning: undefined variable ' '
../Makefile.otherlibs.common:182: warning: undefined variable ' '
../Makefile.otherlibs.common:81: warning: undefined variable ' '
../Makefile.otherlibs.common:89: warning: undefined variable ' '
../Makefile.otherlibs.common:94: warning: undefined variable ' '
../Makefile.otherlibs.common:97: warning: undefined variable ' '