view bin/chef @ 1188:a7c43131d871

bake: Fix file write flushing problem with Python 3.8+ Writing the cache files fails in Python 3.8 because it looks like flushing behaviour has changed. We need to explicitly flush. And even then, in very rare occurrences, it looks like it can still run into racing conditions, so we do a very hacky and ugly "retry" loop when fetching cached data :(
author Ludovic Chabant <ludovic@chabant.com>
date Tue, 15 Jun 2021 22:36:23 -0700
parents a212a3f2e3ee
children
line wrap: on
line source

#!/bin/sh

CHEF_DIR=`dirname $0`
if `hash readlink 2>&-`; then
    LINKED_EXE=`readlink $0`
    if [ -n "$LINKED_EXE" ]; then
        CHEF_DIR=`dirname $LINKED_EXE`
    fi
fi
python $CHEF_DIR/../chef.py $@