From b3cc9df249c03f3842b878408ee54b37185dda79 Mon Sep 17 00:00:00 2001 From: manarabdelaty Date: Fri, 17 Sep 2021 21:53:32 +0200 Subject: [PATCH] [CI] Fix log path --- .github/scripts/precheck/run-precheck-drc.sh | 4 ++-- .github/scripts/precheck/run-precheck.sh | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/.github/scripts/precheck/run-precheck-drc.sh b/.github/scripts/precheck/run-precheck-drc.sh index e9fd3a2d2..dd38dc013 100644 --- a/.github/scripts/precheck/run-precheck-drc.sh +++ b/.github/scripts/precheck/run-precheck-drc.sh @@ -22,9 +22,9 @@ export OUTPUT_DIRECTORY=$TARGET_PATH/checks cd $TARGET_PATH/mpw_precheck/ docker run -v $PRECHECK_ROOT:$PRECHECK_ROOT -v $TARGET_PATH:$TARGET_PATH -v $CARAVEL_ROOT:$CARAVEL_ROOT -v $PDK_ROOT:$PDK_ROOT -u $(id -u $USER):$(id -g $USER) efabless/mpw_precheck:latest bash -c "cd $PRECHECK_ROOT; python3 mpw_precheck.py magic_drc klayout_offgrid klayout_feol klayout_zeroarea klayout_pin_label_purposes_overlapping_drawing --pdk_root $PDK_ROOT --input_directory $TARGET_PATH --caravel_root $CARAVEL_ROOT --output_directory $OUTPUT_DIRECTORY" -output=$OUTPUT_DIRECTORY/precheck.log +output=$OUTPUT_DIRECTORY/logs/precheck.log -gzipped_file=$OUTPUT_DIRECTORY/precheck.log.gz +gzipped_file=$OUTPUT_DIRECTORY/logs/precheck.log.gz if [[ -f $gzipped_file ]]; then gzip -d $gzipped_file diff --git a/.github/scripts/precheck/run-precheck.sh b/.github/scripts/precheck/run-precheck.sh index 129f11531..66d5da61b 100644 --- a/.github/scripts/precheck/run-precheck.sh +++ b/.github/scripts/precheck/run-precheck.sh @@ -22,9 +22,9 @@ export OUTPUT_DIRECTORY=$TARGET_PATH/checks cd $TARGET_PATH/mpw_precheck/ docker run -v $PRECHECK_ROOT:$PRECHECK_ROOT -v $TARGET_PATH:$TARGET_PATH -v $PDK_ROOT:$PDK_ROOT -v $CARAVEL_ROOT:$CARAVEL_ROOT -u $(id -u $USER):$(id -g $USER) efabless/mpw_precheck:latest bash -c " cd $PRECHECK_ROOT ; python3 mpw_precheck.py license yaml manifest makefile consistency xor --pdk_root $PDK_ROOT --input_directory $TARGET_PATH --caravel_root $CARAVEL_ROOT --output_directory $OUTPUT_DIRECTORY" -output=$OUTPUT_DIRECTORY/precheck.log +output=$OUTPUT_DIRECTORY/logs/precheck.log -gzipped_file=$OUTPUT_DIRECTORY/precheck.log.gz +gzipped_file=$OUTPUT_DIRECTORY/logs/precheck.log.gz if [[ -f $gzipped_file ]]; then gzip -d $gzipped_file