diff options
| author | Sven Gothel <[email protected]> | 2020-12-03 09:16:19 +0100 |
|---|---|---|
| committer | Sven Gothel <[email protected]> | 2020-12-03 09:16:19 +0100 |
| commit | 23ce122d27eb4be942ec3918fee6a1cc1c3a7b0a (patch) | |
| tree | 14ee131940d3309efb13e1817271280a935b18e8 /scripts | |
| parent | 4a881d18be15fdef8d4d537e1c7edd88f6e3c22b (diff) | |
scripts/run*sh: Use ${USER} environment variable instead of hardcoded name ;-)
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 |