c9aff53 Avoid race condition in make

Authored and Committed by yselkowitz 3 months ago
1 file changed. 1 lines added. 0 lines removed.
    Avoid race condition in make
    
    Under undetermined conditions, the autoheader make rule is triggered,
    which deletes the generated header but does not recreate it, resulting
    in a build failure later on when that header cannot be found.  This
    assures that the autotools are not rerun out of order.
    
        
file modified
+1 -0