gcc44/gmp: make directories before populating them
authorSimon Schubert <simon.schubert@epfl.ch>
Wed, 9 Sep 2009 15:23:39 +0000 (17:23 +0200)
committerSimon Schubert <simon.schubert@epfl.ch>
Wed, 9 Sep 2009 15:23:39 +0000 (17:23 +0200)
The snapshot build seems to have uncovered a race in the depend stage.
This is a tentative, unverified fix.

gnu/usr.bin/cc44/gmp/Makefile

index 6ab4f39..da50bde 100644 (file)
@@ -181,7 +181,7 @@ LO_OBJECTS= ${MPF_OBJECTS} ${MPZ_OBJECTS} ${MPQ_OBJECTS} ${MPN_OBJECTS} \
 .if exists(${mapsource}) && empty(MPNSRC:M${source})
 
 .if !exists(${source})
-${source}: ${mapsource}
+${source}: ${mapsource} mkdirs
        cp ${.ALLSRC} ${.TARGET}
 CLEANFILES+=   ${source}
 .endif