Merge pull request #128 from edwintorok/develop

Fix lib/perl5/patcher
goblint · Jan 4, 2023 · 3edded1 · 3edded1
2 parents 91b4875 + 365219c
commit 3edded1
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/lib/perl5/patcher b/lib/perl5/patcher
@@ -243,7 +243,10 @@ sub patchOneFile {
 	}
     } else { die "Invalid --mode"; }
 
-    # Now scan the resulting file and get the real name of the file
+	system($preproccmd);
+    # For some reason the gcc returns spurious error codes
+
+	# Now scan the resulting file and get the real name of the file
     my $absname = "";
     open(PPOUT, "<$preprocfile.i") || die "Cannot find $preprocfile.i";
     while(<PPOUT>) {