diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/run-java-example.sh | 1 | ||||
| -rwxr-xr-x | scripts/run-native-example.sh | 1 |
2 files changed, 2 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' diff --git a/scripts/run-native-example.sh b/scripts/run-native-example.sh index e7f93e62..174ca595 100755 --- a/scripts/run-native-example.sh +++ b/scripts/run-native-example.sh @@ -115,6 +115,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' |