diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/run-dbt_scanner10.sh | 5 | ||||
| -rwxr-xr-x | scripts/run-java-scanner10.sh | 3 |
2 files changed, 4 insertions, 4 deletions
diff --git a/scripts/run-dbt_scanner10.sh b/scripts/run-dbt_scanner10.sh index 6ac608a6..635ccfaf 100755 --- a/scripts/run-dbt_scanner10.sh +++ b/scripts/run-dbt_scanner10.sh @@ -26,7 +26,7 @@ # -- -c "YOUR FANCY direct_bt STUFF" # -username=nobody +username=${USER} sdir=`dirname $(readlink -f $0)` rootdir=`dirname $sdir` @@ -65,8 +65,7 @@ export LC_MEASUREMENT=en_US.UTF-8 # export VALGRIND="valgrind --tool=callgrind --instr-atstart=yes --collect-atstart=yes --collect-systime=yes --combine-dumps=yes --separate-threads=no --callgrind-out-file=$callgrindoutfile --log-file=$valgrindlogfile" runit() { - ulimit -c unlimited - + echo username $username echo COMMANDLINE $0 $* echo VALGRIND $VALGRIND echo logbasename $logbasename diff --git a/scripts/run-java-scanner10.sh b/scripts/run-java-scanner10.sh index e5a3c618..002dbf4c 100755 --- a/scripts/run-java-scanner10.sh +++ b/scripts/run-java-scanner10.sh @@ -25,7 +25,7 @@ # -- -c "YOUR FANCY direct_bt STUFF" # -username=nobody +username=${USER} sdir=`dirname $(readlink -f $0)` rootdir=`dirname $sdir` @@ -67,6 +67,7 @@ JAVA_CMD="java" # VALGRIND="valgrind --tool=callgrind --instr-atstart=yes --collect-atstart=yes --collect-systime=yes --combine-dumps=yes --separate-threads=no --callgrind-out-file=$callgrindoutfile --log-file=$valgrindlogfile" runit() { + echo username $username echo COMMANDLINE $0 $* echo VALGRIND $VALGRIND echo logbasename $logbasename |