diff --git a/Configure.pl b/Configure.pl index 9ed9e837e8..908aef0df3 100755 --- a/Configure.pl +++ b/Configure.pl @@ -594,13 +594,6 @@ sub uniq { $config{dasm_flags} = ''; } - -if ($config{cc} eq 'cl') { - $config{install} .= "\t\$(MKPATH) \"\$(DESTDIR)\$(PREFIX)/include/msinttypes\"\n" - . "\t\$(CP) 3rdparty/msinttypes/*.h \"\$(DESTDIR)\$(PREFIX)/include/msinttypes\"\n"; - push @hllincludes, 'msinttypes'; -} - if ($^O eq 'aix' && $config{ptr_size} == 4) { $config{ldflags} = join(',', $config{ldflags}, '-bmaxdata:0x80000000'); }