reallay the #! patch
This commit is contained in:
+4
-2
@@ -312,8 +312,10 @@ bool preprocess_and_compare()
|
|||||||
// Result of preprocessing as string
|
// Result of preprocessing as string
|
||||||
string new_pp = read_to_end(preprocessing.out);
|
string new_pp = read_to_end(preprocessing.out);
|
||||||
|
|
||||||
if( !wait(preprocessing) ) // preprocessing failed
|
// TODO: decide what to do here, #! causes inevitavble non-fatal errors
|
||||||
exit(1);
|
// maybe warn that preproccessing failed
|
||||||
|
// if( !wait(preprocessing) ) // preprocessing failed
|
||||||
|
// exit(1);
|
||||||
|
|
||||||
if( fs::exists(preprocessed_file) ) // todo: clean up if else blocks
|
if( fs::exists(preprocessed_file) ) // todo: clean up if else blocks
|
||||||
{
|
{
|
||||||
|
|||||||
Reference in New Issue
Block a user