Merge pull request #71 from mmichal10/race-condition-in-configure

configure: Prevent race condition while preparing header file.
This commit is contained in:
Michal Rakowski 2019-07-24 10:24:34 +02:00 committed by GitHub
commit d01c26d629
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

4
configure vendored
View File

@ -66,10 +66,8 @@ generate_header() {
for file in $SECOND; do for file in $SECOND; do
CONF=$(cat ${CONFIG_FILE} | grep $(basename $file) | cut -d' ' -f2) CONF=$(cat ${CONFIG_FILE} | grep $(basename $file) | cut -d' ' -f2)
source $file "apply" "$CONF" "$file" & source $file "apply" "$CONF" "$file"
done done
wait
} }
if [ -z "$1" ]; then if [ -z "$1" ]; then