Loading scripts/prepare_instrumentation.sh +1 −2 Original line number Diff line number Diff line Loading @@ -84,9 +84,8 @@ fi set -x # echo commands before running targetdir=c-code_instrument scriptdir=$(dirname $0) targetdir=$scriptdir/c-code_instrument ifdef_list=ifdef_instrument.list sourcedir=$scriptdir/.. Loading Loading
scripts/prepare_instrumentation.sh +1 −2 Original line number Diff line number Diff line Loading @@ -84,9 +84,8 @@ fi set -x # echo commands before running targetdir=c-code_instrument scriptdir=$(dirname $0) targetdir=$scriptdir/c-code_instrument ifdef_list=ifdef_instrument.list sourcedir=$scriptdir/.. Loading