diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/run-java-test.sh | 2 | ||||
| -rwxr-xr-x | scripts/run-native-test.sh | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/scripts/run-java-test.sh b/scripts/run-java-test.sh index 9ed218a..75b416c 100755 --- a/scripts/run-java-test.sh +++ b/scripts/run-java-test.sh @@ -56,7 +56,7 @@ rm -f $valgrindlogfile callgrindoutfile=$logbasename-callgrind.out rm -f $callgrindoutfile -echo 'core_%e.%p' | sudo tee /proc/sys/kernel/core_pattern +#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-test.sh b/scripts/run-native-test.sh index 8da280c..7958646 100755 --- a/scripts/run-native-test.sh +++ b/scripts/run-native-test.sh @@ -38,7 +38,7 @@ rm -f $valgrindlogfile callgrindoutfile=$logbasename-callgrind.out rm -f $callgrindoutfile -echo 'core_%e.%p' | sudo tee /proc/sys/kernel/core_pattern +#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' |