blob: e25a8476b0c246f08b95953046a664c73cc8a551 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
diff -upr sbcl-1.3.1.orig/make-target-2.sh sbcl-1.3.1/make-target-2.sh
--- sbcl-1.3.1.orig/make-target-2.sh 2016-04-06 00:28:53.877953588 +0200
+++ sbcl-1.3.1/make-target-2.sh 2016-04-06 00:29:18.371384320 +0200
@@ -41,6 +41,7 @@ fi
# for much longer than that, don't worry, it's likely to be normal.
if [ "$1" != --load ]; then
echo //doing warm init - compilation phase
+ paxmark.sh -mr ./src/runtime/sbcl
./src/runtime/sbcl \
--core output/cold-sbcl.core \
--lose-on-corruption \
|
