Delete $OUT_OF_SOURCE_DIR under --force even without Yotta

The deletion of "$OUT_OF_SOURCE_DIR" had mistakenly been lumped
together with Yotta.
This commit is contained in:
Gilles Peskine 2019-01-09 23:14:09 +01:00
parent c9663b1685
commit c780095901

View File

@ -366,8 +366,9 @@ pre_parse_command_line () {
pre_check_git () {
if [ $FORCE -eq 1 ]; then
rm -rf "$OUT_OF_SOURCE_DIR"
if [ $YOTTA -eq 1 ]; then
rm -rf yotta/module "$OUT_OF_SOURCE_DIR"
rm -rf yotta/module
fi
git checkout-index -f -q $CONFIG_H
cleanup