From 223516eadcd6c896392f8915585a50934adb863d Mon Sep 17 00:00:00 2001 From: Richard Levitte Date: Wed, 25 May 2016 20:54:54 +0200 Subject: [PATCH] Don't clean away headers generated by Configure Reviewed-by: Rich Salz --- Configure | 7 ------- 1 file changed, 7 deletions(-) diff --git a/Configure b/Configure index f3eb72b43a..20470a941a 100755 --- a/Configure +++ b/Configure @@ -1732,13 +1732,6 @@ EOF } } - ### Add information about files generated by Configure - foreach (map { abs2rel($_) } @generated_headers) { - die "Configure gerenerated header file $_ has a GENERATE in a build.info\n" - if $unified_info{generate}->{$_}; - $unified_info{generate}->{$_} = "Generated by Configure"; - } - ### Make unified_info a bit more efficient # One level structures foreach (("programs", "libraries", "engines", "scripts", "extra", "overrides")) { -- 2.25.1