diff options
Diffstat (limited to 'scripts/run-java-example.sh')
| -rwxr-xr-x | scripts/run-java-example.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/run-java-example.sh b/scripts/run-java-example.sh index 88c57fdd..27b19efe 100755 --- a/scripts/run-java-example.sh +++ b/scripts/run-java-example.sh @@ -62,6 +62,7 @@ rm -f $valgrindlogfile callgrindoutfile=$logbasename-callgrind.out rm -f $callgrindoutfile +echo 'core_%e.%p' | sudo tee /proc/sys/kernel/core_pattern ulimit -c unlimited # run as root 'dpkg-reconfigure locales' enable 'en_US.UTF-8' |